If Issues hasn't been touched for over a year and a half, what exactly are the priorities at GitHub? Has GitHub reached a point where they no longer care about free users as they've served their purpose of creating a network effect that is now driving in enterprise customers?