1. How to tell Git which SSH key to use

    Or, how to push using multiple GitHub accounts