Gabriel Ebner
b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol
...
isabelle: Prebuild HOL session
2022-01-26 16:37:18 +01:00
Joshua Sierles
eb98ee1e8b
maintainers: add jsierles
...
Also add jsierles as a maintainer for the flyctl package.
2022-01-26 11:36:56 +08:00
legendofmiracles
ac8bbfaf76
Merge pull request #156766 from emmanuelrosa/update-email
2022-01-25 18:41:19 -06:00
Robert Scott
1f893659f2
Merge pull request #156221 from nialov/package-pygeos
...
Package python3Packages.pygeos
2022-01-25 21:49:07 +00:00
Emmanuel Rosa
df3dfc6d64
maintainers: update emmanuelrosa's email
2022-01-25 16:03:04 -05:00
Jonathan Ringer
e74ccf2d72
Merge pull request #154708 from NixOS/staging-next
...
Staging next 2022-01-12
2022-01-25 11:54:52 -08:00
Sandro
c1e6dce5ff
Merge pull request #152474 from TilCreator/package-Real-ESRGAN-ncnn-vulkan
2022-01-25 20:35:21 +01:00
Anderson Torres
48743a4f17
Merge pull request #156571 from AndersonTorres/new-misc
...
mpc: install Bash shell completion (and more)
2022-01-25 10:20:29 -03:00
github-actions[bot]
cfef27f7cf
Merge master into staging-next
2022-01-25 06:01:33 +00:00
Luna D. Dragon
9af8ecce83
maintainer: update lunarequest's name
2022-01-25 08:49:28 +05:30
AndersonTorres
2050d991c4
maintainers/maintainer-list.nix: remove algorith
2022-01-24 23:24:06 -03:00
github-actions[bot]
bbbd0a92af
Merge master into staging-next
2022-01-25 00:02:13 +00:00
Samuel Gräfenstein
61982fb66a
maintainers: update samuelgrf's email and keys
2022-01-24 22:42:40 +01:00
Samuel Gräfenstein
32d086c4bb
maintainers: format
2022-01-24 22:41:19 +01:00
github-actions[bot]
b261cac75a
Merge master into staging-next
2022-01-24 06:01:18 +00:00
Sandro
10af00330c
Merge pull request #156184 from Groestlcoin/groestlcoin
2022-01-24 02:36:02 +01:00
tilcreator
96ff43366d
maintainers: change name of tilcreator
2022-01-24 01:14:43 +01:00
Sandro
50dc603e56
Merge pull request #155907 from sikmir/tile38
2022-01-24 01:04:29 +01:00
github-actions[bot]
11cced7438
Merge master into staging-next
2022-01-24 00:01:45 +00:00
Sandro
7502596e70
Merge pull request #117437 from tgunnoe/master
2022-01-24 01:00:44 +01:00
zowoq
745e1ea21b
maintainers/teams: add kubernetes
2022-01-24 08:58:47 +10:00
Sandro
8bf5d82bc9
Merge pull request #156112 from jmc-figueira/wluma-4.1.0
2022-01-23 22:21:19 +01:00
Martin Weinelt
98870a6bfa
Merge pull request #156192 from ncfavier/fix-meson-builds
2022-01-23 15:55:18 +01:00
gruve-p
c642e1fc5c
maintainers: add gruve-p
2022-01-23 14:23:06 +01:00
Pol Dellaiera
ba24545d73
maintainers/team-list: add drupol to php team
2022-01-23 19:48:14 +08:00
Nikolay Korotkiy
899605d9b3
maintainers: update sikmir's email
2022-01-23 09:22:52 +03:00
João Figueira
29dd066a55
maintainers: fixed formatting of maintainer entry for jmc-figueira
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-01-23 03:46:00 +00:00
Naïm Favier
44d160059b
maintainers: add github handle for algorith
2022-01-23 03:33:06 +01:00
nialov
2f4574a213
maintainers: add nialov
2022-01-22 23:44:11 +02:00
Ivv
a858b46b67
Merge pull request #152003 from Leixb/init-headsetcontrol
...
headsetcontrol: init at 2.6
2022-01-22 13:54:50 +01:00
jmc-figueira
54a25c67f9
maintainers: add jmc-figueira
2022-01-22 00:38:01 +00:00
Sandro
e25864311d
Merge pull request #146940 from wackbyte/tetrio-desktop
2022-01-21 19:00:21 +01:00
Sandro
85459d0002
Merge pull request #153737 from wegank/hannom
2022-01-21 16:28:54 +01:00
legendofmiracles
861175871e
Merge pull request #155541 from CodeLongAndProsper90/init-gay
...
gay: init at 1.2.8
2022-01-21 07:39:33 -06:00
Lily Foster
b6718ec0aa
pluginupdate.py: fix regression with plugin line splitting
...
Before 46c68ad46c68ad
2022-01-21 14:18:21 +01:00
LeixB
df6976b6cf
maintainers: add leixb
2022-01-21 11:23:56 +01:00
Sandro
85a2559565
Merge pull request #155464 from Lunarequest/epson-201401w
2022-01-20 23:27:29 +01:00
Matthieu Coudron
4f0cb8a071
update.py: mention GITHUB_API_TOKEN in the help
2022-01-20 22:45:42 +01:00
Matthieu Coudron
46c68ad418
update.py: support remotes other than github
...
right now we can only refer to repositories hosted on github.
This allows to give random git repo uris like for instance:
https://git.sr.ht/~whynothugo/lsp_lines.nvim
2022-01-20 22:45:42 +01:00
Kyle Sferrazza
c9c8103e63
maintainers: update my email address
2022-01-20 11:59:32 -05:00
Luna D. Dragon
0682cabc82
maintainers: add lunarequest
2022-01-20 20:53:59 +05:30
Moritz Lumme
a30df39047
gnugrep: add myself as maintainer
2022-01-20 09:18:35 +00:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge
2022-01-19 18:25:27 +01:00
Sandro
f2fe7b9b52
Merge pull request #145204 from LucaFulchir/pynut2
2022-01-19 16:36:39 +01:00
Akhil Indurti
8c955de389
maintainers: add smasher164
2022-01-19 22:14:08 +10:00
Alex Martens
202a42f21f
maintainers: update newam's email
2022-01-18 12:51:01 -08:00
Scott Little
9d5ec67cfe
maintainers: add CodeLongAndProsper90
2022-01-18 14:33:14 -06:00
Sandro
1ed2fd0b4f
Merge pull request #148674 from NotGordias/patch-2
2022-01-18 18:27:25 +01:00
legendofmiracles
1ac9200a30
Merge pull request #155411 from gador/gador-maintainer
2022-01-17 21:22:35 -06:00
Gordias
6782373cf3
maintainers: add gordias
2022-01-17 15:42:35 -05:00
