Skip to content
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

{checkout,clone}: redirect output to /dev/null #458

Merged
merged 2 commits into from Apr 9, 2020

Conversation

cole-h
Copy link
Member

@cole-h cole-h commented Apr 9, 2020

It fills the logs with typically-useless information. We don't really
care about the novels people write in their commit messages.

The only git commands that were left unmodified are the ones where we
use their output in some way (and thus, it isn't printed to stdout/err
anyways).


There is a chance that this discards actual error information. However, in the past... checks calendar 4 days I've been a log-watcher, I've only seen innocuous output from git that might be useful or interesting if it was in an interactive session and not just a byproduct of our various checks.

ofborg/src/checkout.rs Outdated Show resolved Hide resolved
It fills the logs with typically-useless information. We don't really
care about the novels people write in their commit messages.

The only `git` commands that were left unmodified are the ones where we
use their output in some way (and thus, it isn't printed to stdout/err
anyways).
The `id` field is not the GitHub PR or issue number; the `number` field
is.
@grahamc grahamc merged commit a095c36 into NixOS:released Apr 9, 2020
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.

None yet

2 participants