informalo
What is a GitHub Pull Request merge branch? (2022)
I think a big issue with the presented intuition is that it's limited to wanting to merge the base/trunk/main branch into your feature branch. However, sometimes you want to merge a feature branch into another feature branch. With this in mind, you can form a better intuition, imo, where it's absolutely clear that you have to specify what branch you want to merge into another one.
* (Name of This Paper Can Be Automatically Generated) [pdf] (2022)
Zsh: Turn off globbing with Git (2016)
Self Worth Theory: The Key to Understanding and Overcoming Procrastination
Watching this about a year ago was eye opening to me and I wished I'd found this video when I started studying in college!
Building a Compiler with MLIR (Multi-Level Intermediate Representation) [pdf]
Why Your Life Is Stagnant and You’re Not Making Any Progress (and How to Fix It)
Unix Timestamp Intuition
Recommending Scientific Articles Interactively
Online fashion retailer Zalando to cut hundreds of jobs
[1] https://thevaluable.dev/zsh-line-editor-configuration-mousel...
Don't know how reliable this is though or whether a web developer could work around this.
*SmoothScroll*$script- Untracked: Files that Git doesn't know about.
- Tracked: Files that Git knows about. Further divided into unstaged files (will not be part of the next commit) and staged files (will be part of the next commit).
What helped me here was to know that it's possible to track a (yet untracked) file without staging it:
git add --intent-to-add <path> news.ycombinator.com##a:has-text(Hacker News):style(color: green !important)
[1]: https://github.com/gorhill/uBlock/wiki/Procedural-cosmetic-f...
[2]: https://github.com/gorhill/uBlock/wiki/Static-filter-syntax#...