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

Heads up: site is not loading. Ios Safari & macOS Chrome. Mixed Content: The page at 'https://usehaystack.io/' was loaded over HTTPS, but requested an insecure favicon 'http://www.usehaystack.io/favicon.ico'. This request has been blocked; the content must be served over HTTPS. - Source: Hacker News / over 3 years ago

Hey HN! I'm Julian, co-founder of Haystack (https://usehaystack.io). We’re building one-click dashboards and alerts using Github data. While managing teams from startups to more established companies like Cloudflare, my cofounder Kan and I were constantly trying to improve our team and process. But it was pretty tough to tell if our efforts were paying off. Even tougher to tell where we could improve. We tried... - Source: Hacker News / over 3 years ago