Merge pull request #3322 from donkeybonks/master
Update information for donkeybonks & add github-webhooks
commitb432dc680b5d459ae00ab60654926e5ab140fc69
authorAdam Bergmark <adam@bergmark.nl>
dateThu 1 Mar 2018, 10:12 (9 years ago)
parent14215b368cfdee
build-constraints.yaml+6−1
@@ -2878,10 +2878,13 @@ packages:
28782878 - aeson-diff
28792879 - edit-distance-vector
28802880
2881− "Kyle Van Berendonck <kvanberendonck@gmail.com> @kvanberendonck":
2881+ "Kyle Van Berendonck <kvanberendonck+stackage@gmail.com> @donkeybonks":
28822882 - rot13
28832883 - dvorak
28842884
2885+ "OnRock Engineering <foss@onrock.engineering>":
2886+ - github-webhooks
2887+
28852888 "Pavel Yakovlev <pavel@yakovlev.me> @zmactep":
28862889 - hasbolt
28872890
@@ -4178,6 +4181,8 @@ github-users:
41784181 - phadej
41794182 ekmett:
41804183 - RyanGlScott
4184+ onrock-eng:
4185+ - donkeybonks
41814186
41824187# end of github-users
41834188