Skip to navigation

Question:
How to save the github user and password for pushing

Choose portability over efficiency.