Skip to content

Conversation

@mnocon
Copy link
Contributor

@mnocon mnocon commented Apr 7, 2025

@github-actions
Copy link

github-actions bot commented Apr 7, 2025

Preview of modified Markdown:

@mnocon mnocon marked this pull request as ready for review April 7, 2025 11:01
@mnocon mnocon added Needs DOC review Wait with merge PRs that shouldn't be merged instantly and removed Needs DEV review labels Apr 7, 2025
Co-authored-by: Tomasz Dąbrowski <[email protected]>
@mnocon mnocon merged commit 233fd10 into master Apr 9, 2025
7 checks passed
@mnocon mnocon deleted the grace-period branch April 9, 2025 12:04
@mnocon mnocon removed the Wait with merge PRs that shouldn't be merged instantly label Apr 9, 2025
mnocon added a commit that referenced this pull request Apr 9, 2025
* Added description of the grace period

* Fixed "in parallel" usage

* Wording

* Update docs/administration/configuration/repository_configuration.md

* Apply suggestions from code review

Co-authored-by: Tomasz Dąbrowski <[email protected]>

---------

Co-authored-by: Tomasz Dąbrowski <[email protected]>
mnocon added a commit that referenced this pull request Apr 15, 2025
* Added description of the grace period

* Fixed "in parallel" usage

* Wording

* Update docs/administration/configuration/repository_configuration.md

* Apply suggestions from code review

Co-authored-by: Tomasz Dąbrowski <[email protected]>

---------

Co-authored-by: Tomasz Dąbrowski <[email protected]>
@adriendupuis adriendupuis mentioned this pull request May 5, 2025
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants