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

1202 commits

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