package missing on github mirror

Jan Palus atler at
Mon May 18 08:52:16 CEST 2020

Just got following error when pushing to dxr2-driver:

Enumerating objects: 5, done.
Counting objects: 100% (5/5), done.
Delta compression using up to 8 threads
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 311 bytes | 311.00 KiB/s, done.
Total 3 (delta 2), reused 0 (delta 0), pack-reused 0
remote: Updated 1 path from c57d3d5
remote: ERROR: Repository not found.
remote: fatal: Could not read from remote repository.
remote: Please make sure you have the correct access rights
remote: and the repository exists.

Since commit reached just fine, I believe the issue is caused
by missing package on github:

More information about the pld-devel-en mailing list