github: make github format it