resolving github merge conflicts