about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/josh-sync
AgeCommit message (Expand)AuthorLines
2025-07-04Remove `josh-sync` tooling and update READMEJakub Beránek-759/+0
2025-05-10"cargo fmt"Tshepang Mbambo-18/+28
2025-05-10bump editionTshepang Mbambo-1/+1
2025-05-10no point versioning theseTshepang Mbambo-2/+1
2025-04-28use repo name in push pr titleTshepang Mbambo-1/+1
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