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

For example, in our traditional approach, every step and process is defined and has to be adhered to. Any change has to go through multiple approvals. The scope in itself has a very limited scope or flexibility towards change. I am on the fence looking for resources and tools that will help to slowly execute and implement these changes. With regards to resources, I am currently looking at the scrum guide and with... Source: almost 2 years ago

When you’re ready to translate data into greater visibility, and this visibility into faster, more efficient teams, you can start looking at development analytics platforms like Waydev. - Source: dev.to / over 2 years ago