File: cleanup-git.sh

package info (click to toggle)
fonts-monoid 0.61-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, forky, sid, trixie
  • size: 38,236 kB
  • sloc: python: 142; sh: 41; makefile: 16
file content (7 lines) | stat: -rwxr-xr-x 402 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
 
#!/bin/bash
# CircleCI isn't smart about branches, so we should make double sure there are no release objects
git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch Monoid*.zip' --prune-empty --tag-name-filter cat -- --all
rm -rf .git/refs/original
git reflog expire --expire=now --all
git gc --force --prune=now
exit 0 # Because sometimes git is silly and throws 129 even on force