Closed megawac closed 9 years ago
So it auto-merges and closes the PR? I guess this means that we send the command only once everything is 100% fixed
Yeah its a command for when the PR is good to go besides # of commits
For example:
Ok great, thank you. Is it good to merge?
Finishing a couple more tests - I'll merge it a bit later
This should allow a collaborator to make a comment like
@jsdelivrbot squash and merge
in a PR issue and the bot will attempt to merge itThe following steps are used whenever a comment is made on a pr (not a diff comment)
merge_re
Add jquery; closes #4500
). Currently the commit message is based on the PR titleSome testing is still needed (the shell script works but I'm not sure if the comment checking (matching the
merge_re
regexp) works yet)/cc @jimaek
Fixes #22; Fixes #34