[rules-dev] 2 very useful github tips