summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/josh-sync
AgeCommit message (Expand)AuthorLines
2025-01-30Distinguish between "nothing to pull" and "pull error" in josh-syncJakub Beránek-7/+32
2025-01-24Revert "Add `@bors rollup=never` to rustc-push PR body"Jakub Beránek-1/+1
2025-01-21Add `@bors rollup=never` to rustc-push PR bodyJakub Beránek-1/+1
2025-01-08Error if there is nothing to pullJakub Beránek-0/+10
2025-01-08Print an explicit message if the base repo head commit is up-to-dateJakub Beránek-0/+5
2025-01-05Add tooling for performing Josh synces (#2183)Jakub Beránek-0/+710