Mike McQuaid 712ca361d7
dev-cmd/bump*: improve autobump messaging.
Let's make it clearer _why_ autobumped PRs cannot be submitted by humans
and, while we're here, similarly for disabled/head-only packages.
2024-05-31 10:23:13 +01:00
..
2024-05-13 07:36:51 +01:00
2024-03-29 18:53:07 -07:00
2024-03-29 18:53:07 -07:00
2024-03-29 18:53:07 -07:00
2024-04-21 14:34:55 -07:00
2024-05-17 23:57:46 +09:00
2024-03-29 18:53:07 -07:00
2024-03-29 18:53:07 -07:00
2024-05-01 11:35:21 +02:00
2024-03-29 18:53:07 -07:00
2024-05-01 11:35:21 +02:00