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

Just download the audio and upload it to tools like https://podcastle.ai/ or https://www.descript.com/ and they will transcription for you. Source: about 1 year ago

Make sure to stay tuned for an array of exciting updates as Podcastle leads the charge in revolutionizing the podcasting landscape through the unparalleled capabilities of AI. Together, we are shaping the future of podcasting! 🎙️💡🚀. Source: about 1 year ago

I'd be interested in a watch along but being in the EU I assume times won't work. Have y'all tried https://podcastle.ai for editing/recording? Know a few people using it now and they say it makes the process much easier. Source: about 1 year ago

Thanks, that's much more helpful than most. I got a higher-quality microphone and will not continue to use podcastle.ai, which was supposed to clean everything up and make it pleasant. I should have paid more attention to the garbage coming out of it. Thanks! Source: over 1 year ago

Podcastle is an AI tool for studio-quality recording from your computer. Podcastle help builds next-generation audio content creation and editing tools. - Source: dev.to / over 1 year ago