Это вопрос о CircleCI: возможно ли получить доступ к ярлыкам GitHub на CircleCI ?
Теоретически, это может быть сделано, например, с помощью переменных среды, аналогично тому, что делается с тегами Github, хешу коммитов и т. Д.
В документации (https://circleci.com/docs/2.0/env-vars/#built-in-environment-variables) это не упоминается, поэтому я думаю, что она недоступна, но я хотел бы подтвердить это.