How to have !gnusocial updated when https://git.gnu.io/gnu/gnu-social.git/ is more down then up? #question