Skip to content

image-refresh: remove forcepush#9187

Open
allisonkarlitskaya wants to merge 1 commit into
mainfrom
no-image-refresh-fp
Open

image-refresh: remove forcepush#9187
allisonkarlitskaya wants to merge 1 commit into
mainfrom
no-image-refresh-fp

Conversation

@allisonkarlitskaya

Copy link
Copy Markdown
Member

We don't need this because:

  • we already have the Closes line that we added ourselves (since we always know the issue number in advance). Doing the force-push adds a second Closes: line.

  • we open the PR as the cockpituous user so we don't need the force-push as a workaround for the GitHub anti-recursion rule

We don't need this because:

  - we already have the Closes line that we added ourselves (since we
    always know the issue number in advance).  Doing the force-push adds
    a second `Closes:` line.

  - we open the PR as the `cockpituous` user so we don't need the
    force-push as a workaround for the GitHub anti-recursion rule
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