01/13/2012. From a lecture by Professor John Ousterhout at Stanford, class CS140
Here's today's thought for the weekend. A little bit of slope makes up for a lot of Y-intercept.
[Laughter]
1devNdogs 1devNdogs
1devNdogs
/ slope_vs_starting.md
Created
March 27, 2024 16:40
— forked from gtallen1187/slope_vs_starting.md
A little bit of slope makes up for a lot of y-intercept
1devNdogs
/ git.migrate
Created
September 4, 2020 15:36
— forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/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. |