Ruoyu Zhong 209a9fe2ff
dev-cmd/pr-automerge: skip PRs with pre-release label
PRs with the `pre-release` label are always not ready for merge, so
let's skip them by default.

See also: Homebrew/homebrew-core#128906.

Signed-off-by: Ruoyu Zhong <zhongruoyu@outlook.com>
2023-04-21 03:30:10 +08:00
..
2023-04-17 09:57:06 -04:00
2023-04-07 19:10:22 +01:00
2023-03-14 08:32:03 -07:00
2023-03-30 16:39:10 -07:00
2023-02-28 11:52:38 +00:00
2023-04-15 19:35:13 -07:00
2021-10-20 09:04:59 +01:00
2023-03-28 09:12:48 +01:00
2023-04-03 17:34:39 -07:00
2023-04-16 09:30:21 -07:00
2023-03-14 08:32:03 -07:00
2023-04-10 16:54:48 +01:00
2023-04-04 18:14:54 -07:00
2023-04-04 22:23:46 -07:00
2023-03-31 08:38:02 -07:00
2023-04-10 16:54:48 +01:00