Those @github ProTips are awesome.