dhall-haskell

Author	SHA1	Message	Date
Simon Jakobi	5339f1893d	Mergify: Add "merged" condition for "delete_head_branch" action (#1089 ) I came accross https://medium.com/mergify/keep-your-repository-clean-delete-your-merged-branches-4b779f4848ae which points out that I need a condition here!	2019-07-08 04:20:47 +02:00
Simon Jakobi	22428f9e1f	Reapply "Mergify: Delete head branch after merge (#1064 )" (#1086 ) This reverts commit `4004d62f28`.	2019-07-07 19:56:39 +02:00
Simon Jakobi	4004d62f28	Revert "Mergify: Delete head branch after merge (#1064 )" (#1070 ) Context: https://github.com/dhall-lang/dhall-haskell/pull/1064#issuecomment-508552667 This reverts commit `817c833643`.	2019-07-04 22:23:14 +02:00
Simon Jakobi	6afbba449d	Let Mergify handle one PR at a time (#1068 ) Docs: https://doc.mergify.io/actions.html#merge	2019-07-04 08:05:50 -07:00
Simon Jakobi	817c833643	Mergify: Delete head branch after merge (#1064 ) Docs: https://doc.mergify.io/examples.html#deleting-merged-branch	2019-07-04 09:11:34 +02:00
Gabriel Gonzalez	d559662f50	Enable Mergify support (#1059 ) Related to https://github.com/dhall-lang/dhall-haskell/issues/1058 This is an attempt to test drive the Mergify GitHub app. Unfortunately, the only way to know for sure if the app works is to merge this configuration into `master`, but if it does not work out then I will follow up with a pull request to revert this change.	2019-07-03 07:58:30 -07:00