gitignore: updated
mr: don't push to repos I don't have write access to