github Archives - Jesús Amieiro

Applying patches with Git and curl or wget

There are some methods to apply the code from a pull request (PR) to a base branch.

(more…)

02/10/2023

Git workflows: use Git efficiently

Below, you can find the presentation of the Commit Conf 2023 session (in Spanish).

(more…)

22/04/2023

Using the GitHub CLI to review PR

The GitHub CLI has a lot of interesting functionalities. If you usually review PR in your local machine, it has a command to switch your local branch to the PR branch, so you can start reviewing it in a few seconds.

(more…)

12/04/2023

Cómo mantener sincronizado un fork en GitHub con el repositorio principal

Cuando tratas de contribuir en un proyecto en GitHub, la forma habitual es haberlo mediante un «pull request»:

Llevas a cabo un fork del repositorio del proyecto en GitHub.
Clonas tu fork en tu equipo.
Llevas a cabo los cambios.
Cuando los tienes listos, los llevas a tu repositorio (el fork) en GitHub mediante un pull.
Creas un «pull request» desde tu fork al repositorio principal y, si todo es correcto, los cambios se fusionan en el proyecto principal.

Cuando quieres volver a contribuir al proyecto tienes que sincronizar tu proyecto local con el proyecto principal, para evitar problemas en la fusión.

(more…)

07/04/2020

How to stop tracking a file in Git using the .gitignore file

The .gitignore file is used in Git to ignore some unwanted files (e.g. .o, .obj, .exe files). The .gitignore file specifies intentionally untracked files to ignore.

(more…)

07/03/2016

Taller de introducción a Git

En la sección de documentación os dejo la presentación y el guion creados para el taller sobre Git, titulado “Taller de introducción a Git” que di el 09/10/2014 en las XIII Xornadas Libres organizadas por el Grupo de Programadores y Usuarios de Linux de la Facultad de Informática de la Universidad de A Coruña. Espero que os sea útil.

Recordar que tenéis disponibles los libros “Git. Fundamentos” y “Git. Servidores privados” de forma gratuita.

09/10/2014