Skip to content

trigger: Replace repo with github_repo#14

Merged
victorlin merged 1 commit intomainfrom
victorlin/use-github-repo
Aug 9, 2023
Merged

trigger: Replace repo with github_repo#14
victorlin merged 1 commit intomainfrom
victorlin/use-github-repo

Conversation

@victorlin
Copy link
Copy Markdown
Member

@victorlin victorlin commented Aug 9, 2023

Description of proposed changes

As previously done¹ for the notify scripts, use GitHub repos by org/name pair to make scripts more generalizable. This will also work really well with the GITHUB_REPOSITORY variable available for GitHub Action workflows.

¹ b2a0de7

Related issue(s)

Prompted by nextstrain/mpox#167 (comment)

Checklist

  • Checks pass
  • If adding a script, add an entry for it in the README.

As previously done¹ for the notify scripts, use GitHub repos by org/name
pair to make scripts more generalizable. This will also work really well
with the `GITHUB_REPOSITORY` variable available for GitHub Action
workflows.

¹ b2a0de7
@victorlin victorlin merged commit 1eb8b30 into main Aug 9, 2023
@victorlin victorlin deleted the victorlin/use-github-repo branch August 9, 2023 18:52
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.

2 participants