Skip to content

feat: adds deploy infra action#1

Merged
arein merged 1 commit intomasterfrom
derek/feat/deploy-infra
Jun 22, 2022
Merged

feat: adds deploy infra action#1
arein merged 1 commit intomasterfrom
derek/feat/deploy-infra

Conversation

@arein
Copy link
Member

@arein arein commented Jun 22, 2022

No description provided.

@arein
Copy link
Member Author

arein commented Jun 22, 2022

Merging as this was approved elsewhere and I'm just reorging things

@arein arein merged commit b7b79ba into master Jun 22, 2022
@arein arein deleted the derek/feat/deploy-infra branch June 22, 2022 22:12
bkrem added a commit that referenced this pull request Oct 15, 2025
Adds explicit formatting instructions to the auto-review prompt to prevent
Claude from using #number syntax when numbering issues in reviews. This
prevents GitHub from auto-linking to unrelated repository issues/PRs.

The prompt now instructs Claude to use "Issue 1" or "(1)" format instead
of "#1" format, only using #number when explicitly referencing actual
GitHub issues.
bkrem added a commit that referenced this pull request Oct 15, 2025
…#40)

Adds explicit formatting instructions to the auto-review prompt to prevent
Claude from using #number syntax when numbering issues in reviews. This
prevents GitHub from auto-linking to unrelated repository issues/PRs.

The prompt now instructs Claude to use "Issue 1" or "(1)" format instead
of "#1" format, only using #number when explicitly referencing actual
GitHub issues.
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