LEON SCHERER
BLOG
Music
Blog
About
Contact
Bachelor's thesis
How to push a directory to a separate git branch?
Here's how to push a directory to the root of a separate git branch.