resolve conflicts github web editor