There is also Unity Learn's Create with Code that also has a teacher trainingthat goes with it. BitsBox is also great, my kids started out with it, and then moved onto Create With Code. Source: over 1 year ago

Maybe try Bitsbox? It teaches Javascript by making games. They can share the games with their friends, and it also leaves a lot of room for them to modify the games using what they learned. It teaches a lot of programming skills that are useful later. There is also Google's CS First, that's free and has a lot of different projects. It even has themes like games, sports, arts and stories so it might appeal to more... Source: almost 3 years ago

Use hub here via CLI and forget the gui https://hub.github.com/. - Source: Hacker News / 10 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 / about 1 year 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