git

Getting Started with APPC’s GitLab Server
Zachary Reese, Training

GitLab provides excellent documentation for all of the use-cases you’ll see at APPC.

We have two guidelines.
1. If you have data, put it in GitLab.
2. If you put data in GitLab, make sure the project visibility level is set to Internal.

That’s it. You can access GitLab either through the command line or using a desktop client like GitHub Desktop. The server is operational between the hours of 8AM and 6PM, from Monday through Friday. Any changes made outside of normal business hours can be committed and then pushed when the server is next online.


How to migrate a repository from GitLab to GitHub
Zachary Reese, Development

Clone the repo from GitLab using the --mirror option to make it more portable

$ git clone --mirror git@git.appc.upenn.edu:themes/appcstrap.git

Change into newly cloned directory

$ cd ~/appcstrap.git

Create a new respository on GitHub that matches the name of your directory (in this example, it would be appcstrap).

https://github.com/organizations/AnnenbergPublicPolicyCenter/repositories/new

Push to GitHub using the --mirror option. The --no-verify option skips any hooks.

$ git push --no-verify --mirror git@github.com:AnnenbergPublicPolicyCenter/appcstrap.git

Set push URL to the mirror location. You can do this for any existing local repositories if you don’t want to use the cloned directory location.

$ git remote set-url --push origin git@github.com:AnnenbergPublicPolicyCenter/appcstrap.git