Use hub here via CLI and forget the gui https://hub.github.com/. - Source: Hacker News / almost 3 years 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 / about 3 years 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 4 years ago

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

Originally published at http://stacktips.com. - Source: dev.to / over 2 years ago

Today, I am excited to take a giant leap forward in my journey by open-source the codebase of my blog stacktips is now available on GitHub. - Source: dev.to / almost 3 years ago

Now I am running this blog stacktips.com. It is a custom-built site, using Python, Django, and VueJS. - Source: dev.to / almost 3 years ago

Prefix="og: https://ogp.me/ns#"> StackTips - Resources for Developers property="og:url" content="https://stacktips.com"> property="og:type" content="website"> property="og:title" content="StackTips- Resources for Developers"> property="og:description" content="StackTips provides developer friendly ways to learn programming. We aim to teach developers in the most efficient ways... - Source: dev.to / almost 3 years ago