/* Code Comments */4 posts tagged with "remote"
ideas for social hours
2022-11-28
|~1 min read
|67 words
It can be fun to do something fun with colleagues. How do you do that in an era of remote work where it’s unlikely everyone’s in the same…
git - renaming a branch: locally & remotely
2022-11-28
|~2 min read
|293 words
To rename the name of a branch, there are four potential steps: Checkout the existing branch (the one you want to rename): Rename the local…
git: copy files between branches
2022-11-28
|~2 min read
|382 words
Frequently, I want to pull in just a single file from another git branch. I always need to look up the specifics, so I’m documenting it to…
git: adding remotes
2022-11-28
|~3 min read
|575 words
When you pull a repository down (i.e. clone it) from a remote (like Github, Gitlab, or a private host), git will automatically add it as a…