CI: Remove overlint
I'm thinking about removing overlint from the CI pipeline. The check never fails and doesn't really report any useful information for deciding whether to merge merge requests or not. Some information might be useful to decide when to drop some packages from the overlay, but it doesn't add information to a merge request.
Thus, I am thinking about either removing it from the CI pipeline completely or just running it once every X days and storing the output somewhere to review. But at least it can be removed from the merge request pipeline completely.
Another thing to consider: Upstream hasn't pushed a commit since 2014!