https://bugs.libre-soc.org/show_bug.cgi?id=266#c3 relying solely on https paints a hacking target on our server. if however the commits or tags are GPG signed, these are offline, distributed, and harder to compromise. this will become relevant when we start doing releases.