On 04.05.2022 15:21, Jan Palus wrote:
It appears that some packages are not mirrored to github.
Completely missing or tree empty (some of them missing due to notorious
dns issues):
synced some of them with:
[~/relup] ➔ for a in `cat /tmp/pkgs `; do (./builder -g -ns $a && cd $a
&& git co -b hg-temp-mirror && git push -u origin hg-temp-mirror && cd
..); done
[~/relup] ➔ for a in `cat /tmp/pkgs `; do (cd $a && git push -u origin
--delete hg-temp-mirror && cd ..); done
some got error:
remote: fatal: Could not read from remote repository.
this one is weird, it had no HEAD before?
remote: To ssh://github.com/pld-linux/gnome-desktop-testing
remote: ! [remote rejected] hg-temp-mirror (refusing to delete the
current branch: refs/heads/hg-temp-mirror)
remote: error: failed to push some refs to
'ssh://github.com/pld-linux/gnome-desktop-testing'
remote: ...done
_______________________________________________
pld-devel-en mailing list
pld-devel-en@lists.pld-linux.org
http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
