Skip to content

Amélioration du guide de contribution#52

Merged
Guts merged 17 commits intomasterfrom
contribution
Apr 17, 2020
Merged

Amélioration du guide de contribution#52
Guts merged 17 commits intomasterfrom
contribution

Conversation

@Guts
Copy link
Copy Markdown
Member

@Guts Guts commented Apr 15, 2020

@Guts Guts self-assigned this Apr 15, 2020
@Guts Guts mentioned this pull request Apr 15, 2020
This was referenced Apr 16, 2020
@github-actions github-actions bot added outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. thème Personnalisation du thème du site (CSS, JS, partials...) labels Apr 17, 2020
@github-actions github-actions bot added the contributeurices Contenus liés à la contribution et contributeur/ices : biographies, à propos, etc. label Apr 17, 2020
@Guts Guts merged commit 39d3279 into master Apr 17, 2020
@Guts Guts deleted the contribution branch April 17, 2020 12:58
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. outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. thème Personnalisation du thème du site (CSS, JS, partials...)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant