Skip to content

Make link logging more consistent #10276

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

Conversation

andyalbert
Copy link

Closes #7390

@andyalbert
Copy link
Author

@uranusjr I've made the changes as suggested

AUTHORS.txt Outdated
@@ -631,3 +631,4 @@ Zvezdan Petkovic
Łukasz Langa
Семён Марьясин
‮rekcäH nitraM‮
Andrew Meleka
Copy link
Member

Choose a reason for hiding this comment

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

This file is auto-generated. Please don't edit it.

Copy link
Author

Choose a reason for hiding this comment

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

Sorry :(

@andyalbert andyalbert requested a review from pradyunsg August 7, 2021 12:44
@andyalbert
Copy link
Author

@pradyunsg can you please check?

@github-actions github-actions bot added the needs rebase or merge PR has conflicts with current master label Aug 20, 2021
@pradyunsg pradyunsg closed this Sep 18, 2021
@pradyunsg pradyunsg reopened this Sep 18, 2021
@pradyunsg
Copy link
Member

pradyunsg commented Sep 18, 2021

Hmm... @andyalbert Could you update this PR? It currently has merge conflicts which means that the CI isn't able to run -- so I dunno how the tests react to this change.

Overall though, I think it is worth improving how we present URLs! I wonder if we should present the full URL is verbose mode, and use show_url for non-verbose runs. That would be a slightly more complex patch than this. Would you be interested in exploring/implementing that?

@pradyunsg
Copy link
Member

Closing this out given the lack of activity.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
needs rebase or merge PR has conflicts with current master
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make link logging more consistent
2 participants