-
Notifications
You must be signed in to change notification settings - Fork 4
log repository name #182
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
log repository name #182
Conversation
... that already contains the repository name
@xrvdg, @alexfedotov or @alex-mckenna Can either of you please review? One is enough, whoever has free time first. :-) first-come-first-merged. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice idea, definitely makes the log more traceable if you're watching multiple repos
@alex-mckenna Thanks for the review. @OpsBotPrime merge |
Pull request approved for merge by @rudymatela, rebasing now. |
Approved-by: rudymatela Auto-deploy: false
Rebased as a27e6c8, waiting for CI … |
CI job 🟡 started. |
Closes: #171
This updates some logging to include the relevant repository name.
"Posted comment on 182" now becomes "Posted comment on hoff#182".
Logs after the change
Above ⬆️, we know exactly to which repository each log entry belongs to.
Logs before the change
Above ⬆️, if we are tracking multiple projects/repositories in the log, we have no way to know which log entry belongs to which repo.