* add check_tags CI job * fix typo in gitlab-ci.yml * add more useful CI output * Make presence of github token optional