Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

deps: upgrade sourcegraph/log, sourcegraph/run - #47392

Merged
bobheadxi merged 3 commits into
mainfrom
update-sourcegraph-log-run
Feb 7, 2023
Merged

deps: upgrade sourcegraph/log, sourcegraph/run#47392
bobheadxi merged 3 commits into
mainfrom
update-sourcegraph-log-run

Conversation

@bobheadxi

@bobheadxi bobheadxi commented Feb 3, 2023

Copy link
Copy Markdown
Member

@cla-bot cla-bot Bot added the cla-signed label Feb 3, 2023
@bobheadxi
bobheadxi force-pushed the update-sourcegraph-log-run branch from f286923 to 03fbacb Compare February 3, 2023 21:11
@sourcegraph-bot

sourcegraph-bot commented Feb 3, 2023

Copy link
Copy Markdown
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff 93bb511...778711b.

No notifications.

@sourcegraph-bot

sourcegraph-bot commented Feb 3, 2023

Copy link
Copy Markdown
Contributor

Codenotify: Notifying subscribers in OWNERS files for diff 93bb511...778711b.

Notify File(s)
@mrnugget dev/sg/dependencies/shared.go
dev/sg/linters/go_checks.go
dev/sg/linters/linters.go
dev/sg/linters/prettier.go
@sourcegraph/dev-experience dev/sg/dependencies/shared.go
dev/sg/linters/go_checks.go
dev/sg/linters/linters.go
dev/sg/linters/prettier.go

@bobheadxi
bobheadxi requested review from a team, 0xnmn, michaellzc and sashaostrikov February 3, 2023 22:17
@bobheadxi
bobheadxi merged commit a0745f9 into main Feb 7, 2023
@bobheadxi
bobheadxi deleted the update-sourcegraph-log-run branch February 7, 2023 22:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants