Home

House Cleaning

Every commit to the truchas repo master branch creates a "release" for this repo. Periodically the older development releases need to be deleted. These are releases with a trailing "-g<hash>" in their name. Two things are required:

1. Navigate to "Code" -> "tags" in the web interface. Select "Releases" and then delete the desired releases (the garbage can icon). Rather tedious if you have a lot to delete. This frees the significant storage used by the binary tar files associated with each release.
2. Clone the truchas_releases repository and then remove the corresponding tags:

   git clone git@github.com:truchas/truchas_releases
   cd truchas_releases
   git push --delete origin 22.02-2-g5d6deb9 [...]

   The Truchas CI uses the tags in the truchas_releases repo to generate the list of binary package links for the website, so this step is important.