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: d908e5d450be
Choose a base ref
...
head repository: NixOS/ofborg
compare: f2a893c9ff81
Choose a head ref
  • 2 commits
  • 2 files changed
  • 2 contributors

Commits on Aug 13, 2019

  1. maintainers: compare maintainer usernames in lowercase 

    At least a few maintainers in <nixpkgs>/maintainers/maintainer-list.nix
specified a lowercase username for GitHub while actually having a
username with upper case characters.
Ofborg performs case-sensitive comparisons on PR submitters and the
above mentioned usernames. This causes borg to not recognize users when
there is different casing between the above list and the 'user.name'
value of github's api response, even though the casing is irrelevant for
distinguishing different users.
    @WilliButz
    WilliButz committed Aug 13, 2019
    Copy the full SHA
    a1b1315 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2019

  1. Merge pull request #384 from WilliButz/fix-maintainer-detection 

    maintainers: compare maintainer usernames in lowercase
    @grahamc
    grahamc committed Sep 19, 2019
    Copy the full SHA
    f2a893c View commit details
    Browse the repository at this point in the history