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

Motion is what your are looking for. https://usemotion.com Disclaimer: I worked there for a bit. - Source: Hacker News / 12 months ago

I use this AI productivity app called "Motion" (usemotion.com). It requires google maps or outlook. I really can't stand that but it's been so helpful for me, I still use google calendar as my main calendar. Source: about 1 year ago

I’m curious to hear more about your experience. I don’t work closely with other people, but I use Motion, which has features specifically for teams to automatically rearrange their 1:1s and tasks based on each other’s availability. Source: over 1 year ago

RE specific products: I'm curious about usemotion.com and https://www.getinflow.io/. Source: over 1 year ago

Motion (usemotion.com) keeps advertising to me and as far as I can tell, it offers one really nice feature which is the ability to have events with concrete durations but times that aren't set in stone so the calendar can automatically move them for you. This seems really interesting to me and I'd be interested in trying it, but much like with Superhuman for email, I just can't justify the price. $34/mo or $240/yr... Source: over 1 year ago