triggering github's automatic hosting, hopefully