[CHG] Relabeled Github button.