[email protected] writes: > Then, I did git push. It was correct? What should I do next? The output > (see below) suggest to create a merge request. > Thanks in advance.
Ignore that. That is just the git server providing helpful information that isn't really appropriate here. -- Brian May <[email protected]>

