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

Hmmm yes chinese companies tend to ruin games with horrible pay2win, so there was this game caled WARFACE made by crytek, then in like 2016-17 it got taken over by my.com, after my.com took over they ruined the game terribly with even more microtransaccions, they removed the abbility to buy weapons permanently (they returned it now but they increased the prices terribly) also added oversexualized female pay2win... Source: over 1 year ago

I'm using myMail you can connect to almost any service you need with no sync issues, And the best feature is you can make your own @my.com email which is short and easy. Source: over 1 year ago