Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update .mailmap : ajout email Florent Fougères #1025

Merged
merged 1 commit into from
Dec 19, 2023

Conversation

florentfgrs
Copy link
Contributor

@florentfgrs florentfgrs commented Dec 19, 2023

Ajout adresses email dans .mailmap

Signed-off-by: Florent <36446612+florentfgrs@users.noreply.github.com>
Copy link
Contributor

🎉 Le site de prévisualisation pour cette PR a été généré et est disponible sous ce lien.
Commit de référence : 7603147.

@Guts Guts self-assigned this Dec 19, 2023
@Guts Guts added team contribution externe Contenus proposés par des personnes n'ayant pas de droits en écriture sur le dépôt GitHub labels Dec 19, 2023
@Guts Guts merged commit 7b5df41 into geotribu:master Dec 19, 2023
5 checks passed
@github-actions github-actions bot temporarily deployed to pr-previews December 19, 2023 13:31 Inactive
@Guts Guts added the contributeurices Contenus liés à la contribution et contributeur/ices : biographies, à propos, etc. label Feb 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
contributeurices Contenus liés à la contribution et contributeur/ices : biographies, à propos, etc. contribution externe Contenus proposés par des personnes n'ayant pas de droits en écriture sur le dépôt GitHub
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants