Pulp-dev,

pulp/pulp_packaging has been officially renamed to pulp/pulp-ci

If you have an existing pulp_packaging checkout that you want to work with the 
new repo location you can do one of the following:

Use git remote commands to alter the url:

> git remote set-url pulp https://github.com/pulp/pulp-ci.git

substituting 'pulp' for whatever remote name you use for pulp's git

OR you can edit your .git/config directly:

> [remote "pulp"]
>         url = https://github.com/pulp/pulp_git
> 
again, substituting 'pulp' for your appropriate remote name

Also, please pay attention to if you use https:// to interact with the upstream 
repository or ssh:// and substitute appropriately

Thanks,
Patrick

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Pulp-dev mailing list
Pulp-dev@redhat.com
https://www.redhat.com/mailman/listinfo/pulp-dev

Reply via email to