color prs purple
from the collab guide:
Optional: When landing your own commits, force push the amended commit to the
branch you used to open the pull request. If your branch is called `bugfix`,
then the command would be `git push --force-with-lease origin master:bugfix`.
When the pull request is closed, this will cause the pull request to
show the purple merged status rather than the red closed status that is
usually used for pull requests that weren't merged.
This issue is stale because it has been open many days with no activity. It will be closed soon unless the stale label is removed or a comment is made.
ping
Hopefully we can get this working with the new commit-queue
This issue is stale because it has been open many days with no activity. It will be closed soon unless the stale label is removed or a comment is made.
bump
This issue is stale because it has been open many days with no activity. It will be closed soon unless the stale label is removed or a comment is made.
bump forever
I think we can close this, the CQ is able to purple merge PRs that land one commit, the current workflow seems to be an appropriate compromise.