Git repository move

We have moved from github.com to gitlab.com. See the announcenment for reasoning.

Please configure your git repositories to point to the new location by editing  in your   (or other postmarketOS git repository) folder.

Simply replace  with , then run:

If that does not work for whatever reason, you can also delete your  folder and do a fresh clone: