Mike McQuaid 7df07b991b
dev-cmd/bump*: do not allow forcing multiple PRs.
If there are duplicate PRs: we shouldn't suggest and allow a trivial
override. Instead, they should be created manually.

An undocumented override exists for BrewTestBot to do autobumps.
2024-02-15 17:02:31 +00:00
..
2024-02-10 12:10:55 +01:00
2024-02-04 15:42:26 +01:00
2024-01-30 17:15:13 +00:00
2024-01-26 15:03:59 -08:00
2024-01-31 11:42:01 -08:00
2024-02-12 16:12:52 +01:00
2024-02-04 15:10:14 +01:00
2024-01-31 11:42:01 -08:00