diff options
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`. |