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

Also.. There are a few preferred email lookup integrations expandi.io has. I no longer see them listed on site. But they have a ton of built I integrations plus api + webhooks. There chat/email support is very good you could ask. Https://help.expandi.io/en/collections/3042112-webhooks-and-integrations-api. Source: 11 months ago

If you want to target people that have not interacted with any landing page pixel or LinkedIn content, only those that connected, I would use https://expandi.io/ first to get them pixeled on a page or post/article/opt-in form. Then make custom audience on that. Otherwise I think what you got is the best way. Zapier & make & Waalaxys etc. Will all cost operations. But perhapse it is not worth targeting those not... Source: 11 months ago

Also cold emails / DMS to business. Try linkedIN marketing tool like https://expandi.io. Source: over 1 year ago

Live broke for a few months while things close up, save up some of that juicy six figs, then when shit hits the fan, use the saved up money to hire a lead gen expert or invest in lead gen software like expandi.io. Source: about 2 years ago

I use Expandi and while it's not cheap, it works well. We have gotten big enough to outsource some of the building to a marketing company and they run our connections now. I post my own daily content, scheduled and unscheduled. Unscheduled content is "Me being me" and scheduled content is educational in nature. Source: over 2 years ago