repaired github commit