rust/src/doc/rustc-dev-guide/josh-sync, branch try https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=try 2025-07-04T09:41:19+00:00 Remove `josh-sync` tooling and update README 2025-07-04T09:41:19+00:00 Jakub Beránek berykubik@gmail.com 2025-07-04T09:41:19+00:00 urn:sha1:92144e1ee183fc8ed097c937fcc4754242b69a99 "cargo fmt" 2025-05-10T11:47:31+00:00 Tshepang Mbambo tshepang@gmail.com 2025-05-10T11:35:33+00:00 urn:sha1:63b3bf99afe22c299ed6ca332674cf2a63966e8e bump edition 2025-05-10T11:47:31+00:00 Tshepang Mbambo tshepang@gmail.com 2025-05-10T11:29:41+00:00 urn:sha1:a9d655179f9e514860ae34f6b7e8448e142f0222 no point versioning these 2025-05-10T11:47:31+00:00 Tshepang Mbambo tshepang@gmail.com 2025-05-10T11:15:12+00:00 urn:sha1:927343ee47f256caaebe1bf8963fb175a1b88075 They are internal tools. use repo name in push pr title 2025-04-28T04:49:13+00:00 Tshepang Mbambo tshepang@gmail.com 2025-04-28T04:49:13+00:00 urn:sha1:451d73fbe2cbb4b03e4a8c08d44074b53c669035 I found "Rustc dev guide subtree update awkward" Distinguish between "nothing to pull" and "pull error" in josh-sync 2025-01-30T15:48:39+00:00 Jakub Beránek berykubik@gmail.com 2025-01-30T15:24:39+00:00 urn:sha1:7306e2b10ff46c7d013e4698ff6b4541fd4bb8a0 Revert "Add `@bors rollup=never` to rustc-push PR body" 2025-01-24T12:59:05+00:00 Jakub Beránek berykubik@gmail.com 2025-01-24T12:59:05+00:00 urn:sha1:353d916a0a0246b1bce331737e21806d77c7b857 Add `@bors rollup=never` to rustc-push PR body 2025-01-21T16:00:28+00:00 Jakub Beránek berykubik@gmail.com 2025-01-21T16:00:28+00:00 urn:sha1:5be02d6f051d78a3140bf14b4f20537515f85a10 Error if there is nothing to pull 2025-01-08T16:52:01+00:00 Jakub Beránek berykubik@gmail.com 2025-01-08T16:17:03+00:00 urn:sha1:f761e1ac3c82ffe94c2996892a276c4793b86a0b Print an explicit message if the base repo head commit is up-to-date 2025-01-08T16:52:01+00:00 Jakub Beránek berykubik@gmail.com 2025-01-08T14:26:14+00:00 urn:sha1:7e2a690889a160bb7bba4d3a0664f37da0185780