looks like github has been very inactive. Is anyone on the team full time?