Skip to content

Conversation

@kabel
Copy link
Contributor

@kabel kabel commented Feb 24, 2023

Makes it eaiser to keep track of how/where configuration is being used.

alexr00
alexr00 previously approved these changes Mar 29, 2023
Copy link
Member

@alexr00 alexr00 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thank you! I will merge after the release tomorrow.

@alexr00 alexr00 added this to the April 2023 milestone Mar 29, 2023
@alexr00 alexr00 enabled auto-merge (squash) April 11, 2023 10:49
aeschli
aeschli previously approved these changes Apr 11, 2023
Makes it eaiser to keep track of how/where configuration is being used.
auto-merge was automatically disabled April 11, 2023 13:56

Head branch was pushed to by a user without write access

@kabel kabel dismissed stale reviews from aeschli and alexr00 via 92b7341 April 11, 2023 13:56
@alexr00
Copy link
Member

alexr00 commented Apr 11, 2023

@kabel when making changes to a PR please merge main into your topic branch instead of force pushing. I now can't see what I've already reviewed and I need to review the whole PR again.

@kabel
Copy link
Contributor Author

kabel commented Apr 11, 2023

when making changes to a PR please merge main into your topic branch instead of force pushing.

Sure. Force of habit from dealing with repositories that prefer PRs to maintain linear history.

@alexr00 alexr00 enabled auto-merge (squash) April 19, 2023 16:08
@alexr00 alexr00 merged commit ce138aa into microsoft:main Apr 20, 2023
@kabel kabel deleted the cleanup-config branch April 23, 2024 17:57
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