the-distro/ofborg
2
0
Fork 1
Code Issues 1 Pull requests 1 Packages Projects Releases Wiki Activity
1260 commits 3 branches 0 tags 3.6 MiB
Commit graph

1260 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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