I got a git repository where I got several files. (Actually it\'s my Advent of Code repository)
In this repository is a file which I want to keep in the GitHub remote
