Skip to content

Merge changes upstream from arti.git

Ian Jackson requested to merge Diziet/rust-maint-common:from-arti into main

These changes were reviewed as part of arti!2267 (merged).

I encountered some bugs in git-subtree while trying to run git subtree split. The branch head here is the result of

cd arti
git checkout main^2
# ^ that's cc44d0679dd839b22f9ecaf94f1d2708cad080e6 which is the last commit in !2267
git-subtree split -P maint/rust-maint-common

I'm trying to report the bug in git subtree to git upstream mailing list. (They don't have a bug tracker!)

Merge request reports