Sonya Nikiforova

Good decision to file an issue @aangelo9 . We need to bypass this check for people not working on the server by inserting `hserver.is_external_dev()` somewhere, probably upstream from this function....

> So my solution is to ask contributors to: add their users to the sudoers make sudo password less This is the set up we have everywhere. This means that...

> As per the discussion in https://github.com/causify-ai/helpers/issues/392, I will try to include installation instructions for the GitHub CLI for Ubuntu users in the intern.set_up_development_on_laptop.how_to_guide.md. I installed the GitHub CLI on...

> We could do that since our current support is only for Ubuntu, but as [@gpsaggese](https://github.com/gpsaggese) mentioned in [#392](https://github.com/causify-ai/helpers/issues/392), the GitHub CLI is a system-wide package. I tried to install...

> I did check the documentation with grep and couldn't find any notes related to the renaming of the SSH and PAT keys. I've checked `cmamp` and there is no...

Done, closing