Trivial change to HACKING: github testing againh