diff options
| author | spwhitton <spwhitton@web> | 2015-11-24 04:54:26 +0000 |
|---|---|---|
| committer | admin <admin@branchable.com> | 2015-11-24 04:54:26 +0000 |
| commit | 2dd9b131fdaf63449e26b43cd7a17cc6d7f6a202 (patch) | |
| tree | c187baae237e4a78e1c511b60a088d493bd21315 /doc | |
| parent | ad37af7a5f6eb237fa6c75c1b583e911bfd22f9e (diff) | |
pull request
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/todo/pull_request:_Git.repoConfigured_and_Git.repoAcceptsNonFFs_properties.mdwn | 10 |
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`. |