Pulled the pushed changes on git by another developer, and no conflict is encountered thus no merging is needed to do on my side thus proceeding in pushing my changes. Checked if the commits are pushed successfully, as per checking. it is.