sourcegraph/sourcegraph-public-snapshot

Automerge GitHub bot

Aperta

#11.392 aperta il 9 giu 2020

 (3 commenti) (3 reazioni) (0 assegnatari)Go (1374 fork)auto 404
good first issueops & tools & dev

Metriche repository

Star
 (10.290 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

I would love to have a bot that can do the following:

  • Auto merge PRs that I have flagged for automerge and that have passed all status checks.
  • When merging PRs, create a squashed commit message that has the same title and description as the PR. This is unlike GitHub's default behavior of inlining actual commit messages from your branch (which are generally not helpful when squash merging).

There are some bots that certainly do automerging, but I don't know about the second requirement. Whoever works on this should do some research on what exists and determine if it would be easier for us to build our own that does the above two things or try to contribute to an existing bot that would solve the two use-cases above.

e.g.

Guida contributor