Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/ofborg
base: 83d748169c2d
Choose a base ref
...
head repository: NixOS/ofborg
compare: a095c366688d
Choose a head ref
  • 3 commits
  • 3 files changed
  • 2 contributors

Commits on Apr 9, 2020

  1. {checkout,clone}: redirect output to /dev/null 

    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).
    @cole-h
    cole-h committed Apr 9, 2020
    Copy the full SHA
    db19020 View commit details
    Browse the repository at this point in the history

  2. tasks/evaluate: show issue number not id 

    The `id` field is not the GitHub PR or issue number; the `number` field
is.
    @cole-h
    cole-h committed Apr 9, 2020
    Copy the full SHA
    b33d3de View commit details
    Browse the repository at this point in the history

  3. Merge pull request #458 from cole-h/logging 

    {checkout,clone}: redirect output to /dev/null
    @grahamc
    grahamc committed Apr 9, 2020
    Copy the full SHA
    a095c36 View commit details
    Browse the repository at this point in the history