Tshepang Mbambo
|
5e2a659b1d
|
"cargo fmt"
|
2025-05-10 13:47:31 +02:00 |
|
Tshepang Mbambo
|
1b150ed05c
|
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
|
88197e4182
|
Distinguish between "nothing to pull" and "pull error" in josh-sync
|
2025-01-30 16:48:39 +01:00 |
|
Jakub Beránek
|
d56358082c
|
Revert "Add `@bors rollup=never` to rustc-push PR body"
|
2025-01-24 13:59:05 +01:00 |
|
Jakub Beránek
|
7fb252d7fe
|
Add `@bors rollup=never` to rustc-push PR body
|
2025-01-21 17:00:28 +01:00 |
|
Jakub Beránek
|
482ebfbbae
|
Error if there is nothing to pull
|
2025-01-08 17:52:01 +01:00 |
|
Jakub Beránek
|
c92957d38a
|
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
|
4a73ebae45
|
Add tooling for performing Josh synces (#2183)
|
2025-01-05 17:51:45 +01:00 |