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
Graham Christensen
4c7fd81713
Merge pull request #371 from jonringer/add_jonringer
...
extra-known-users: Add jonringer
2019-07-03 18:17:21 -04:00
Graham Christensen
8ac718104b
Merge pull request #372 from saschagrunert/saschagrunert
...
extra-known-users: Add saschagrunert
2019-07-03 18:17:02 -04:00
Jörg Thalheim
Artemis Tosini