Skip to content

Small README and Docker improvements - #3840

Merged
garth-wells merged 1 commit into
mainfrom
garth/sonar-change
Aug 1, 2025
Merged

Small README and Docker improvements#3840
garth-wells merged 1 commit into
mainfrom
garth/sonar-change

Conversation

@garth-wells

Copy link
Copy Markdown
Member

No description provided.

@garth-wells garth-wells added the housekeeping Tidying and style improvements label Aug 1, 2025
@garth-wells
garth-wells enabled auto-merge August 1, 2025 14:22
@garth-wells
garth-wells added this pull request to the merge queue Aug 1, 2025
Merged via the queue into main with commit 42644d6 Aug 1, 2025
30 checks passed
@garth-wells
garth-wells deleted the garth/sonar-change branch August 1, 2025 15:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Tidying and style improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant