|
You are here |
laanwj.github.io | ||
| | | | |
blitiri.com.ar
|
|
| | | | | ||
| | | | |
til.simonwillison.net
|
|
| | | | | GitHub Gists are full Git repositories, and can be cloned and pushed to. | |
| | | | |
zzamboni.org
|
|
| | | | | I needed to copy a directory between two git repositories while preserving its history. I found some good instructions at http://gbayer.com/development/moving-files-from-one-git-repository-to-another-preserving-history/, which got me started, but I figured out a way to avoid having to move all the files into their directory again (lines 5-6 in Greg's instructions) by reversing the filter to remove everything I don't want instead of only including the directory I want. Here are the steps (the idea is the ... | |
| | | | |
github.com
|
|
| | | Contribute to bradgarropy/vscode-theme development by creating an account on GitHub. | ||