Re: [rules-dev] 2 very useful github tips