gitlab-ci: Only run release notes lint on release tags

Authored by bgamari on Apr 12 2019, 10:10 AM.

Description

gitlab-ci: Only run release notes lint on release tags

Details

Committed
bgamariApr 18 2019, 4:12 PM
Parents
rGHCf0f495f0c4e1: Add an Outputable instance for SDoc with ppr = id.
Branches
Unknown
Tags
Unknown