What is developer happiness GitHub SVP Product weighs in #github #tech #softwaredevelopment