Vault7: CIA Hacking Tools Revealed
Navigation: » Latest version
Owner: User #71384
Git Notes
Delete a tag from the remote:
git tag -d 12345
git push origin :refs/tags/12345
Updating an open-source repository from the Internet:
- On the low side, perform a git pull to update the repository.
- Tar the directory containing the repository and move it to the high side.
- Take note of the existing remote repository location by using git remote -v from inside the existing repository directory
- Untar the new archive over any existing archive
- Reset the remote repository using: git remote set-url origin ssh://git@stash.devlan.net:7999/opensource/<repository>.git