I use: tomato-timer.com, and I use the basic 25/5 or 25/10 for a longer rest. I set the bell tone I want and tell it to go continuously (that's "auto start" under settings). I get myself ready, close out wasting time tabs, open my document, make sure I have my water by my side, and press "start." Then I do my 5 or 6 sprints and usually am done for the day. Source: 12 months ago

There is a "Tomato Timer". [1] Looks like it was bought recently. [1] https://tomato-timer.com/. - Source: Hacker News / over 1 year ago

Adderall and https://tomato-timer.com/ . Source: about 2 years ago

Here this might help you https://tomato-timer.com/. Source: about 2 years ago

Here’s a website with a timer too in case you don’t wanna use an app. Source: about 2 years ago

Use hub here via CLI and forget the gui https://hub.github.com/. - Source: Hacker News / 9 months ago

Try automating the PR process as much as possible. Make use of tools like hub CLI for speeding up the pull request process. Code quality tools can help you automate the due diligence for coding standards and conventions, and test automation tools can assist in bug discovery, and identifying security vulnerabilities. - Source: dev.to / 12 months ago

Parse_git_branch() { # Speed up opening up a new terminal tab by not # checking `$HOME` ...which can't be a repo anyway # # For the heck of it, micro-optimize this too: # time (repeat 1000000 { [ "$PWD" = "$HOME" ] } ) == ~4.2s # time (repeat 1000000 { [[ "$PWD" == "$HOME" ]] } ) == ~1.4s [[ "$PWD" == "$HOME" ]] && return # Fastest known way to check the current branch name ... Source: almost 2 years ago

You can always query via github api or use the hub client (from their home page https://hub.github.com/). Source: over 2 years ago