Instructions on how to use Github to contribute to the Kind 2 model checker