diff options
| author | Joey Hess <joeyh@joeyh.name> | 2016-03-07 16:36:36 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-03-07 16:36:36 -0400 |
| commit | 16a95afa2fe22a4df9c371489c4ee7ffdef8e07b (patch) | |
| tree | 6e0869e78aba03be2591569369e1e099bb86568e /doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn | |
| parent | 9bbc292b3f903a1476e3524bb9198e58ce300401 (diff) | |
| parent | 822694e790102efa2a5bb4a0c3d62c6fce1d4e87 (diff) | |
Merge remote-tracking branch 'remotes/misandrist/FreeBSD' into wip
Diffstat (limited to 'doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn')
| -rw-r--r-- | doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn b/doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn new file mode 100644 index 00000000..038ab876 --- /dev/null +++ b/doc/todo/pull_request:_Git.bareRepoDefaultBranch_property.mdwn @@ -0,0 +1,7 @@ +Please consider merging branch `defaultbranch` of repo `https://git.spwhitton.name/propellor`. + +This branch adds a new property `Git.bareRepoDefaultBranch` which sets the default branch of a bare repository. This is useful when hosting git repositories that don't have a master branch, so that something gets checked out when someone clones them. + +I limited this property to bare repositories since the notion of a default branch for a non-bare repository doesn't really make sense. + +> [[merged|done]] --[[Joey]] |