Num artigo anterior, vimos que o Paulo Rodrigues alterou o “commit” através da operação “amend” e está pronto para actualizar definitivamente o repositório central através da operação “push”. Após a operação “push”, outros programadores podem aceder às alterações que o Paulo Rodrigues efectuou.
Antes de fazer o ”push”, ele vai ver o “log”, através do comando:
[paulorodrigues@server1 project]$ git log
Que irá mostrar o seguinte resultado:
commit 46a9b023237bd558443da54e4ef752769b783490
Author: Paulo Rodrigues paulorodrigues@fpcti.pt
Date: Sun Jul 5 13:35:28 2020 +0100
Formulário de envio em português
...
Antes de fazer o “push”, ele quer ver as alterações que foram feitas. Para isso utiliza o seguinte comando:
git show 46a9b023237bd558443da54e4ef752769b783490
Que produz o seguinte resultado:
commit 46a9b023237bd558443da54e4ef752769b783490
Author: Paulo Rodrigues paulorodrigues@fpcti.pt
Date: Sun Jul 5 13:35:28 2020 +0100
Formulário de envio em português
diff --git a/form.php b/form.php
new file mode 100644
index 0000000..060d37e
--- /dev/null
+++ b/form.php
@@ -0,0 +1,104 @@
+<!DOCTYPE HTML>
+<html>
+<head>
+<style>
+.error {color: #FF0000;}
+</style>
+</head>
+<body>
+
+<?php
+// define variables and set to empty values
...
Após fazer as verficações, ele executa o “push”, através do comando:
[paulorodrigues@server1 project]$ git push origin master
Que produz o seguinte resultado:
Counting objects: 4, done.
Delta compression using up to 2 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 1.35 KiB | 0 bytes/s, done.
Total 3 (delta 0), reused 0 (delta 0)
To git@github.com:fernandoprata/project.git
9c37506..46a9b02 master -> master
A actualização feita com a operação “push”, pelo Paulo Rodrigues foi concluída com sucesso. Agora, outros programadores podem actualizar os seus repositórios locais e beneficiar das alterações feitas.