danderson/ofborg
0
0
Fork 0
forked from the-distro/ofborg
Code Pull requests Activity
1068 commits 1 branch 0 tags 2.6 MiB
Commit graph

1068 commits

This branch
This branch
All branches
Author SHA1 Message Date
wucke13 3693e7975c add @wucke13 to known-users 2019-09-26 19:02:06 +02: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