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
Graham Christensen
7b9fa05fc0
Merge pull request #374 from xrelkd/released
...
extra-known-users: Add xrelkd
2019-07-03 18:16:32 -04:00
Robert Scott
3b44bdacbe
extra-known-users: add risicle
2019-07-03 23:15:34 +01:00
xrelkd
4a1ebae825
extra-known-users: Add xrelkd
...
As requested by @marsam in NixOS/nixpkgs#63220 I am adding myself as a trusted user, so that I can more easily review PRs.
2019-07-03 21:43:59 +08:00
Graham Christensen
0ea0c736ef
Merge pull request #365 from worldofpeace/funding
...
Add .github/FUNDING.yml
2019-06-25 14:40:52 -04:00
Léo Gaspard
2c8e1fa4a2
Parse @ofborg invocation
2019-06-23 19:08:28 +02:00
Sascha Grunert
ac3d026b9b
extra-known-users: Add saschagrunert
...
Signed-off-by: Sascha Grunert <mail@saschagrunert.de>
2019-06-23 14:00:29 +02:00
Jonathan Ringer
f802065e2f
extra-known-users: Add jonringer
2019-06-19 02:56:05 -07:00
Marek Mahut
cc709cc09a
extra-known-users: adding mmahut
2019-06-17 21:48:25 +02:00
Graham Christensen
13bf326486
Merge pull request #366 from ivan/ivan-extra-known-users
...
Add ivan to extra-known-users
2019-06-05 09:52:46 -04:00
Ivan Kozik
feeae68213
Add ivan to extra-known-users
2019-06-05 13:47:11 +00:00
worldofpeace
b7aa8ce246
Add .github/FUNDING.yml
2019-06-01 11:20:08 -04:00
Graham Christensen
da215c1786
Merge pull request #362 from Synthetica9/new-arrow-symbol
...
Use more widely supported arrow symbol in performance report
2019-05-08 10:54:26 -04:00
Patrick Hilhorst
a1fa22e427
Fix tests for new arrow symbol
2019-05-08 16:38:50 +02:00
Patrick Hilhorst
8a41517995
Use more widely supported arrow symbol in performance report
...
Fixes #360 .
2019-05-08 16:25:30 +02:00
Graham Christensen
c9e110f054
Merge pull request #361 from yorickvP/patch-1
...
add yorickvP to extra-known-users
2019-05-08 08:34:40 -04:00
Graham Christensen
d1cfa0ddec
Merge pull request #357 from JohnAZoidberg/patch-1
...
extra-known-users: Add johnazoidberg
2019-05-08 08:28:37 -04:00
Graham Christensen
61f6655c5e
Merge pull request #359 from schmittlauch/patch-1
...
extra-known-users: Add schmittlauch
2019-05-08 08:28:14 -04:00
Yorick
d1e59ed069
add yorickvP to extra-known-users
2019-05-08 14:25:33 +02:00
Trolli Schmittlauch
0e394c3542
extra-known-users: Add schmittlauch
...
As requested by @Mic92 in NixOS/nixpkgs#60408 I am adding myself as a trusted user, so that OfBorg can automatically build on more platforms when testing my PRs.
2019-05-02 13:25:09 +02:00
Daniel Schaefer
bea253aa47
extra-known-users: Add johnazoidberg
...
Add myself so I can more easily review PRs.
2019-04-30 04:03:44 +02:00
Graham Christensen
9257a5420b
Merge pull request #354 from NixOS/revert-353-revert-351-stats
...
Revert "Revert "Evaluation Stats""
2019-04-22 10:14:44 -04:00