Hi,

Deleted packages are not deleted from the git repository, you need to clone it 
then you will ne able to push it.

Franck

Attachment: signature.asc
Description: PGP signature

Reply via email to