contributing.md outdated by gitlab changes
In the Getting set up to contribute section of contributing.md, free tier users of GitLab can no longer set up pull only mirroring of repositories: https://docs.gitlab.com/ee/user/project/repository/mirror/pull.html ...Well actually it looks like this change was in v13.9, which was about 2 years ago.
Is pull-only mirroring still an option in free self-hosted gitlab instances?
Either way, a quick addition of "remember to click the 'Update Fork' button on your own repo's main landing page regularly or at least before starting/submitting any code changes" to this page, and adding some words about the pull-only mirror feature being restricted to premium and/or self-hosted(?) instances should be enough?
Def took me a minute to navigate and read through GitLab's docs to understand wth I was doing wrong such that the pull mirror option was greyed out :-/