Skip to content

[WIP] Update documentation to improve user discovery of -U option#5766

Closed
Copilot wants to merge 1 commit intomainfrom
copilot/enhance-documentation-for-users
Closed

[WIP] Update documentation to improve user discovery of -U option#5766
Copilot wants to merge 1 commit intomainfrom
copilot/enhance-documentation-for-users

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Jan 15, 2026

Thanks for asking me to work on this. I will get started on it and keep this PR's description up to date as I form a plan and make progress.

Original prompt

#5762 brough up the question how one could have knwo about the -U option. Even though we mention the properties in the docs its true that actually forcing updates is not docuemnted anywhere. We should enahnce the docs at relevant locations to makes such things easier to discover for new users.


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

@laeubi
Copy link
Copy Markdown
Member

laeubi commented Feb 5, 2026

Lets see if this works better now with more context:

@laeubi laeubi closed this Feb 5, 2026
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.

2 participants