[eru]

Why? We use github and its CI/CD system, but locally I still only need to add the git remote to work with it.