[Libre-soc-dev] ideas for force push cleanup for next time

[Jacob Lifshay]

rather than removing and re-adding write permissions, it might be better to
use something like https://github.com/cxreg/git-blacklist to make it so no
one can push the commits that were removed.

Jacob