# Gives the GitHub repo a Python flavour
def hello():
    print("Hello world!")