Collection of scripts exploring and using the Github API for the development and management of dealii.
Github needs credentials to log in, but for obvious reasons, we do not want to put our passwords into this repository. Therefore, after cloning, a file login.py must be created in the root directory. An example for the contents of this file is
from github import Github
def login():
git = Github("user","password")
return git
Any ssh based alternative is highly appreciated.