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.

Sign up for GitHub

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

Jump to bottom

Bascule le site de static.geotribu.fr vers geotribu.fr #967

Merged
merged 1 commit into from
Aug 6, 2023
Merged

Bascule le site de static.geotribu.fr vers geotribu.fr #967

merged 1 commit into from
Aug 6, 2023

Conversation

Guts
Copy link
Member

@Guts Guts commented Aug 6, 2023

Cf #387

@github-actions github-actions bot added rdp Revues de presse outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... contributeurices Contenus liés à la contribution et contributeur/ices : biographies, à propos, etc. articles Tutoriels, actualité, billet... labels Aug 6, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Aug 6, 2023

👏 Le markdown ajouté ou modifié est impeccable ! Merci 🥇

@Guts Guts self-assigned this Aug 6, 2023
@Guts Guts added update and removed contributeurices Contenus liés à la contribution et contributeur/ices : biographies, à propos, etc. articles Tutoriels, actualité, billet... labels Aug 6, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Aug 6, 2023

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

@Guts Guts merged commit 3447fba into master Aug 6, 2023
4 checks passed
@Guts Guts deleted the maintenance/switch-dns-to-geotribu_fr branch August 6, 2023 14:51
@github-actions github-actions bot temporarily deployed to pr-previews August 6, 2023 14:51 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Guts Guts

Labels
mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. rdp Revues de presse update
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Guts