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-01-09 11:12:49 +00:00
2024-02-04 15:42:26 +01:00
2023-04-24 20:42:39 -07:00
2023-12-15 15:34:43 -05:00
2023-09-27 17:33:44 +01:00
2023-04-24 20:42:39 -07:00
2023-12-21 21:55:16 -08:00
2024-01-19 13:36:16 -08:00
2023-04-24 20:42:39 -07:00
2023-04-24 20:42:39 -07:00
2023-12-16 14:36:12 +01:00
2023-04-24 20:42:39 -07:00
2024-01-31 20:02:33 -08:00
2023-04-24 20:42:39 -07:00