Hi - if i am working on a github repo, and after finalizing the product if I remove the github repo, will my ingested token become zero. That is let us say i already have a github repor synced with 1.5 mn tokens.. if i remove that from integration/sync will the 1.5mn ingested toekns get frees up or will it still be used..