summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorspwhitton2015-11-24 04:54:26 +0000
committeradmin2015-11-24 04:54:26 +0000
commit2dd9b131fdaf63449e26b43cd7a17cc6d7f6a202 (patch)
treec187baae237e4a78e1c511b60a088d493bd21315
parentad37af7a5f6eb237fa6c75c1b583e911bfd22f9e (diff)
pull request
-rw-r--r--doc/todo/pull_request:_Git.repoConfigured_and_Git.repoAcceptsNonFFs_properties.mdwn10
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/pull_request:_Git.repoConfigured_and_Git.repoAcceptsNonFFs_properties.mdwn b/doc/todo/pull_request:_Git.repoConfigured_and_Git.repoAcceptsNonFFs_properties.mdwn
new file mode 100644
index 00000000..afa330af
--- /dev/null
+++ b/doc/todo/pull_request:_Git.repoConfigured_and_Git.repoAcceptsNonFFs_properties.mdwn
@@ -0,0 +1,10 @@
+Please consider merging branch `repoAcceptsNonFFs` of the repository `https://git.spwhitton.name/propellor`.
+
+This branch adds
+
+- the revertable property `Git.repoAcceptsNonFFs` which sets `receive.denyNonFastForwards` on a repo; and
+- a simple property `Git.repoConfigured` to run `git config` for the above property.
+
+`Git.repoAcceptsNonFFs` is useful for running a git server, hosting repos with `Git.bareRepo`: some of them should be set to accept fast-forwards.
+
+Note that `Git.repoConfigured` uses a tuple instead of just two function arguments in order that it can be used infix in `config.hs` when connected to other properties with `&`, as `ConfFile.containsIniSetting`.