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.jsonconfiguration file in yourmainbranch.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.jsonconfiguration 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.
