Bo Anderson
c6986122c8
dev-cmd/pr-automerge: skip automerge for "linux to homebrew-core"
2021-03-26 11:07:45 +00:00
Rylan Polster
d1f3e39b7b
Update commands to generate usage banner
2021-01-18 21:20:11 -05:00
Rylan Polster
da811373d3
Add named_args DSL for commands
2021-01-13 17:09:42 -05:00
Alexander Bayandin
5607e4a947
dev-cmd/pr-automerge: exclude draft PR
2020-12-15 14:24:31 +00:00
EricFromCanada
72bc057014
manpage: fixes for formatting
2020-11-16 08:02:50 -05:00
Mike McQuaid
aaa38b6a35
Merge pull request #9109 from SeekingMeaning/automerge/exclude-linux-only
...
pr-automerge: don't automerge PRs with linux-only label
2020-11-16 12:54:59 +00:00
Markus Reiter
da9289eff0
Add more type signatures.
2020-11-13 12:26:36 +01:00
Seeker
d3080c8ce1
pr-automerge: don't automerge PRs for linux-only formulae
2020-11-11 01:18:16 -08:00
Jonathan Chang
1b45ed1045
pr-automerge: enable --autosquash argument
2020-10-13 22:44:17 +11:00
Markus Reiter
24ae318a3d
Move type annotations into files.
2020-10-10 14:59:39 +02:00
Dustin Rodrigues
420e8fdbe4
pr-automerge: pluralize message only when needed
2020-08-17 20:02:45 -04:00
Markus Reiter
d4c2ffd705
Refactor CLI::Parser.
2020-07-31 15:07:17 +02:00
Markus Reiter
bd0346e083
Pass args in pr-automerge instead of using global args.
2020-07-30 03:21:12 +02:00
Dawid Dziurla
367de3523a
pr-automerge: fix variable name
2020-07-27 22:39:54 +02:00
Dawid Dziurla
62ca046390
pr-automerge: pass proper tap variable
...
Co-authored-by: Jonathan Chang <jchang641@gmail.com>
2020-07-25 08:42:39 +02:00
Dawid Dziurla
8be563c5cd
pr-automerge: pass --tap arg down
2020-07-24 18:48:28 +02:00
Dawid Dziurla
77a1bc22d7
dev-cmd/pr-*: allow to run on other taps too
2020-07-02 22:47:55 +02:00
Dawid Dziurla
6fa09ab0ee
pr-automerge: match only approved PRs by default
...
Also remove default `--with-label` value and add `--without-approval`
option.
Reviews could be automatically dismissed on new commits pushed (there is
an option for that in repository settings on Github). That is not the
case for labels. They remain attached to a PR, even when new commits are
pushed. This is undesirable and creates security concerns, because
someone could introduce untested code just before the automerge happens.
Co-authored-by: Eric Knibbe <enk3@outlook.com>
2020-05-06 18:32:47 +02:00
EricFromCanada
9d6eb41fc5
cmd/dev-cmd: misc. usage and wording fixes
2020-04-19 13:31:54 -04:00
Dawid Dziurla
8305919c93
pr-automerge: allow multiple comma separated -labels
2020-04-19 16:17:25 +10:00
Jonathan Chang
5a95fe14aa
dev-cmd: add pr-automerge
...
Co-Authored-By: Mike McQuaid <mike@mikemcquaid.com>
2020-04-13 20:14:40 +10:00
