Do your part; remind people that Github is not git. Git is decentralizable and people should know this.