Skip to content

Instantly share code, notes, and snippets.

View prittt's full-sized avatar
🎯
Focusing

Federico Bolelli prittt

🎯
Focusing
View GitHub Profile
@prittt
prittt / keybase.md
Last active November 30, 2020 11:10

Keybase proof

I hereby claim:

  • I am prittt on github.
  • I am fbolelli (https://keybase.io/fbolelli) on keybase.
  • I have a public key ASDj3BjAauvtENL88bXGy1JXJPd1FOzqMJAcpLfSGowlKwo

To claim this, I am signing this object:

@prittt
prittt / git.migrate
Created August 30, 2018 09:24 — forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
#!/bin/bash
# Sometimes you need to move your existing git repository
# to a new remote repository (/new remote origin).
# Here are a simple and quick steps that does exactly this.
#
# Let's assume we call "old repo" the repository you wish
# to move, and "new repo" the one you wish to move to.
#
### Step 1. Make sure you have a local copy of all "old repo"
### branches and tags.