Commit graph

1420 commits

Author SHA1 Message Date
Ryan Mulligan 88b2c5edeb add label for exactly 1 rebuild
It is fundamentally different to review a leaf package with no other
reverse dependencies in Nixpkgs and one that has at least one reverse
dependency, so make those separate labels.
2019-09-25 21:49:06 -07:00
Jörg Thalheim 4bdf73ef1b
move @lilyball to trusted users 2019-09-22 15:57:45 +01:00
Jörg Thalheim 9fe8c7d9a6
move @Gerschtli to trusted users 2019-09-22 15:26:37 +01:00
Graham Christensen f2a893c9ff
Merge pull request #384 from WilliButz/fix-maintainer-detection
maintainers: compare maintainer usernames in lowercase
2019-09-19 07:57:58 -04:00
Graham Christensen d908e5d450
Merge pull request #396 from aherrmann/aherrmann-trusted-users
Add aherrmann to trusted users
2019-09-19 07:56:40 -04:00
Graham Christensen 23020b7edc
Merge branch 'released' into aherrmann-trusted-users 2019-09-19 07:56:28 -04:00
Graham Christensen 88549b18ee
Merge pull request #385 from Mic92/released
move @yurrriq to trusted users
2019-09-19 07:55:47 -04:00
Graham Christensen 9e78b032b6
Merge pull request #388 from mmahut/released
move @jonringer to trusted users
2019-09-19 07:55:27 -04:00
Graham Christensen 9499354631
Merge pull request #399 from devhell/trust-devhell
extra-known-users: Add devhell
2019-09-19 07:54:44 -04:00
Graham Christensen 567d7d8a06
Merge pull request #400 from worldofpeace/paths-tags
Add some more paths to auto tag
2019-09-19 07:54:35 -04:00
Graham Christensen 712b34b869
Merge pull request #386 from lopsided98/patch-1
extra-known-users: add lopsided98
2019-09-19 07:53:53 -04:00
Graham Christensen 9f65e37454
Merge pull request #389 from alexarice/add-alexarice
extra-known-users: add alexarice
2019-09-19 07:53:40 -04:00
Graham Christensen 961f95e7f7
Merge pull request #390 from SeTSeR/released
config.extra-known-users.json: Add myself
2019-09-19 07:53:28 -04:00
Graham Christensen 46cf4b3bb4
Merge pull request #391 from artemist/patch-2
Update config.extra-known-users.json
2019-09-19 07:53:13 -04:00
Graham Christensen 05a767b194
Merge pull request #392 from gnidorah/patch-1
config.extra-known-users.json: Add myself
2019-09-19 07:52:58 -04:00
Graham Christensen c7cc51e4c1
Merge pull request #393 from emilazy/add-emily
extra-known-users: add emilazy
2019-09-19 07:52:41 -04:00
Graham Christensen 4dfa34dd57
Merge pull request #394 from aethelz/add-aethelz
extra-known-users: add aethelz
2019-09-19 07:52:23 -04:00
Graham Christensen da24483db8
Merge pull request #378 from herrwiese/released
extra-known-users: add myself (herrwiese)
2019-09-19 07:52:02 -04:00
worldofpeace f84d39b2b8 tag_paths: update paths for xfce 2019-09-09 21:56:12 -04:00
worldofpeace ab425042d0 tag_paths: qt/kde add module and test 2019-09-09 21:56:12 -04:00
worldofpeace f8ad7e0247 tag_paths: another path for printing 2019-09-09 21:56:12 -04:00
worldofpeace cf876dd5bf tag_paths: more paths for pantheon 2019-09-09 21:56:12 -04:00
worldofpeace f0cae83af7 tag_paths: more paths for gnome3 2019-09-09 21:56:12 -04:00
devhell 2c42574809
extra-known-users: Add devhell
Now that I've been made a member, it's probably best to be able to
trigger ofBorg where appropriate and necessary.
2019-09-08 15:58:11 +01:00
Andreas Herrmann 78703cbf4b Add aherrmann to known users 2019-09-03 16:01:59 +02:00
Eugene c88039b700 extra-known-users: add aethelz 2019-09-02 10:05:16 +03:00
Emily 36cd5dd744 extra-known-users: add emilazy 2019-08-31 16:11:50 +01:00
gnidorah fab24bbdc6
config.extra-known-users.json: Add myself
Add myself now that I am a member of the maintainers group on GitHub
2019-08-29 21:56:42 +03:00
Artemis Tosini 582ede3269
Update config.extra-known-users.json
Add myself now that I am a member of the maintainers group on GitHub
2019-08-29 16:42:25 +00:00
Sergey Makarov deee6d7b18
config.extra-known-users.json: Add myself 2019-08-28 13:11:08 +03:00
Alex Rice ec46dae54a
extra-known-users: add alexarice 2019-08-28 10:07:10 +01:00
Marek Mahut e266f3500b move @jonringer to trusted users 2019-08-21 09:10:29 +02:00
Ben Wolsieffer 61a3466496
extra-known-users: add lopsided98 2019-08-18 14:47:45 -04:00
WilliButz a1b13151ec
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.
2019-08-13 15:03:42 +02:00
Jörg Thalheim 226c57b656
move @yurrriq to trusted users 2019-08-13 10:50:32 +01:00
Andreas Wiese c975308f93 extra-known-users: add myself (herrwiese) 2019-08-13 10:20:30 +02:00
Graham Christensen dbfa0805f3
Merge pull request #377 from tadeokondrak/add-tadeokondrak
extra-known-users: add tadeokondrak
2019-08-03 10:36:44 -04:00
Graham Christensen 48a429a791
Merge pull request #379 from arcnmx/me
extra-known-users: add arcnmx
2019-08-03 10:36:32 -04:00
Graham Christensen 9e319ed69c
Merge pull request #380 from Mic92/released
move @Izorkin to trusted users
2019-08-03 10:36:15 -04:00
Graham Christensen bb99dabb9a
Merge pull request #381 from mmahut/mmahut
move @mmahut to trusted users
2019-08-03 10:35:55 -04:00
Marek Mahut b62f96e948 move @mmahut to trusted users 2019-08-01 19:19:57 +02:00
Jörg Thalheim 9bf2925db0
move @Izorkin to trusted users 2019-08-01 15:15:54 +01:00
arcnmx 81d3b8e335 fix clippy warnings 2019-07-27 19:11:02 -07:00
arcnmx b7379674a6 extra-known-users: add arcnmx 2019-07-27 19:08:38 -07:00
Tadeo Kondrak 9b0ebf58c9
extra-known-users: add tadeokondrak 2019-07-08 07:31:30 -06:00
Graham Christensen c0a52933e1
Merge pull request #376 from aanderse/released
move @aanderse to trusted users
2019-07-08 09:11:53 -04:00
Aaron Andersen 44d19ee8f1 move @aanderse to trusted users 2019-07-06 14:08:31 -04:00
Graham Christensen 20bb9e53ba
Merge pull request #373 from Ekleog/parse-ofborg
Parse @ofborg invocation
2019-07-03 18:18:15 -04:00
Graham Christensen 128de05e05
Merge pull request #375 from risicle/ris-ris
extra-known-users: add risicle
2019-07-03 18:17:46 -04:00
Graham Christensen 8a568e8cbd
Merge pull request #370 from mmahut/released
extra-known-users: adding mmahut
2019-07-03 18:17:38 -04:00