Um desenvolvedor tentou realizar um merge, porém o Git acusou conflitos em um dos arquivos. Após resolver manualmente os conflitos neste arquivo, quais comandos ele deve executar para prosseguir e finalizar o processo de merge?