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
2023-06-16 10:33:15 +01:00
2024-01-08 13:36:45 -08:00
2023-04-26 09:27:00 -07: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
2023-04-24 20:42:39 -07:00
2024-01-31 11:42:01 -08:00
2023-04-24 20:42:39 -07:00
2023-09-29 12:32:22 +01:00
2023-04-25 09:26:24 -07:00
2024-02-12 16:12:52 +01:00
2023-08-12 22:01:22 -07:00
2023-12-15 16:24:46 +00:00
2024-02-04 15:10:14 +01:00
2023-04-24 20:42:39 -07:00
2023-04-17 11:30:12 -07:00
2023-04-17 11:30:12 -07:00
2023-07-18 08:52:49 -07:00
2023-07-06 16:56:20 +01:00
2024-01-31 11:42:01 -08:00
2023-04-24 20:42:39 -07:00
2023-04-24 20:42:39 -07:00