All Collections
Distribute design tokens to Destinations
GitHub
How to delete destinations pipelines in GitHub
How to delete destinations pipelines in GitHub

A step by step on how to remove destinations pipelines in GitHub.

Updated over a week ago

Table of content

If you tried to delete GitHub pipelines, you might have seen this message. If want to delete them, you'll need to do that directly inside GitHub.

Delete all your pipelines inside one repository

  • To delete your GitHub destination, you just need to remove the .specifyrc.json configuration file in your main branch.

  • Then commit your change.

  • You'll see if you refresh your Destinations in Specify that your pipelines are now removed.

Delete one pipeline inside your repository

  • If you want to remove only one token type (aka one pipeline) in your GitHub destination, then you'll need to edit your .specifyrc.json configuration file and remove the rules that correspond to the token type(s) you want to delete.

  • Then commit your changes.

  • You'll see if you refresh your Destinations in Specify that your pipeline(s) are now removed.

Did this answer your question?