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 |
|