Fix: don't hard-code Github username and password.