GitHub caching can be a pain.
It's been for example impossible to make files completely disappear from an open source repo without deleting the repo or contacting their support.
It's been for example impossible to make files completely disappear from an open source repo without deleting the repo or contacting their support.
https://github.blog/2022-09-13-scaling-gits-garbage-collecti...