fixing some github settings