Tshepang Mbambo
|
63b3bf99af
|
"cargo fmt"
|
2025-05-10 13:47:31 +02:00 |
|
Tshepang Mbambo
|
a9d655179f
|
bump edition
|
2025-05-10 13:47:31 +02:00 |
|
Tshepang Mbambo
|
927343ee47
|
no point versioning these
They are internal tools.
|
2025-05-10 13:47:31 +02:00 |
|
Tshepang Mbambo
|
451d73fbe2
|
use repo name in push pr title
I found "Rustc dev guide subtree update awkward"
|
2025-04-28 06:49:13 +02:00 |
|
Jakub Beránek
|
7306e2b10f
|
Distinguish between "nothing to pull" and "pull error" in josh-sync
|
2025-01-30 16:48:39 +01:00 |
|
Jakub Beránek
|
353d916a0a
|
Revert "Add @bors rollup=never to rustc-push PR body"
|
2025-01-24 13:59:05 +01:00 |
|
Jakub Beránek
|
5be02d6f05
|
Add @bors rollup=never to rustc-push PR body
|
2025-01-21 17:00:28 +01:00 |
|
Jakub Beránek
|
f761e1ac3c
|
Error if there is nothing to pull
|
2025-01-08 17:52:01 +01:00 |
|
Jakub Beránek
|
7e2a690889
|
Print an explicit message if the base repo head commit is up-to-date
|
2025-01-08 17:52:01 +01:00 |
|
Jakub Beránek
|
1c4ad64a44
|
Add tooling for performing Josh synces (#2183)
|
2025-01-05 17:51:45 +01:00 |
|