No need for this as there is no build pipeline

This was added in 96767049f but the build pipeline was removed the same day in 4212aa1c so this is not required.

Since this is mostly used via browsing on GitHub, the `.gitignore` is a distraction.