Skip to content

Conversation

@gjsjohnmurray
Copy link
Contributor

@sandy081 this contains a CSS tweak I missed from #196696, without which the badges became oval.

@gjsjohnmurray
Copy link
Contributor Author

/assign @sandy081 - sorry for the inconvenience

@sandy081 sandy081 added this to the October 2023 milestone Oct 26, 2023
@sandy081
Copy link
Member

No worries, thanks for fixing it.

@sandy081 sandy081 enabled auto-merge October 26, 2023 13:48
@gjsjohnmurray
Copy link
Contributor Author

@sandy081 the CI seems to have had a spurious failure, preventing the auto-merge after @alexr00 approved.

@alexr00
Copy link
Member

alexr00 commented Oct 26, 2023

Re-running failed jobs...

@sandy081 sandy081 merged commit 2f5c70f into microsoft:main Oct 26, 2023
@gjsjohnmurray gjsjohnmurray deleted the azure-wildfowl branch October 26, 2023 14:32
@github-actions github-actions bot locked and limited conversation to collaborators Dec 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants