GIT.md

Git related things

How to remove GitHub release and its associated tag

• Delete the Release from GitHub
• Delete the Associated Tag Locally (if pulled)

git tag -d <tag_name>

• Delete the Tag from GitHub

git push origin --delete <tag_name>

• Verify That the Tag Is Deleted

git ls-remote --tags origin

Create local and remote repo from local (name of the repo: myrepo)

mkdir myrepo # create folder that will hold my repo
cd myrepo # mv into the folder
git init # initialize the folder as a git repo
touch .gignore # create a file, here a gitignore file
git add .gignore # add a file to be tracked by git
git commit -m "add gignore" # commit the modif
remote add myrepo git@address_to_the_rep # Specify what will be the name of the remote repo and the address to this remote repo 
git push --set-upstream origin master # tell git to link the remote repo (origin) to the local master one.