Migrate pmbootstrap.git to SourceHut
Overview:
- Post patches here (via git send mail or web UI): https://lists.sr.ht/~postmarketos/pmbootstrap-devel
- git repository: https://git.sr.ht/~postmarketos/pmbootstrap
- there's a new
pmbootstrap cicommand that can be used to run CI locally - issues stay on gitlab until we decided how to move further in January, see the roadmap in the blog post.
Context:
- https://postmarketos.org/blog/2022/07/25/considering-sourcehut/
- https://postmarketos.org/blog/2022/08/26/considering-sourcehut-2/
We'll migrate pmbootstrap.git to sourcehut - just the git repository for now, and then evaluate how it went in January.
preparation
- create pmbootstrap git repository on sourcehut, with the postmarketos account: https://git.sr.ht/\~postmarketos/pmbootstrap/
- adjust CI so it works with sourcehut:
switch over
- merge or close existing MRs on gitlab
- update the README to say upstream is now on sourcehut
- rebase sourcehut's tree on the changes that were merged into gitlab in the meantime
- update MR template on gitlab to say patches should be submitted to sourcehut
- set up gitlab.com as mirror from the code from sourcehut
Related ideas for making it easy to run CI scripts locally: #2169 (closed)