Skip to content

pr-auditor: update workflow to use new repo#13

Merged
burmudar merged 1 commit into
mainfrom
pr-auditor-update
Jul 18, 2023
Merged

pr-auditor: update workflow to use new repo#13
burmudar merged 1 commit into
mainfrom
pr-auditor-update

Conversation

@burmudar
Copy link
Copy Markdown
Contributor

Update the workflow to use the new sourcegraph/pr-auditor repo

Test plan

Tested in sourcegraph/sourcegraph

Created by Sourcegraph batch change burmudar/pr-auditor-update.

@burmudar burmudar merged commit 7b9c3f2 into main Jul 18, 2023
@jupblb jupblb deleted the pr-auditor-update branch May 20, 2026 08:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant