Re: GitHub is a terrible upstream