CI: do not run linters on tagged commits (!178) · Merge requests · GNOME / gjs · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):tagged into master Jul 01, 2018

Off the top of my head I'd say this was already fixed. Oops, I am wrong.