mirror of
https://github.com/Smaug123/gitea-repo-config
synced 2025-10-05 15:38:41 +00:00
Add ToString method to MergeStyle (#96)
This commit is contained in:
@@ -18,13 +18,15 @@ type MergeStyle =
|
||||
elif s = "rebase-merge" then MergeStyle.RebaseMerge
|
||||
else failwithf "Unrecognised merge style '%s'" s
|
||||
|
||||
static member toString (s : MergeStyle) : string =
|
||||
match s with
|
||||
override this.ToString () : string =
|
||||
match this with
|
||||
| Merge -> "merge"
|
||||
| RebaseMerge -> "rebase-merge"
|
||||
| Rebase -> "rebase"
|
||||
| Squash -> "squash"
|
||||
|
||||
static member toString (m : MergeStyle) = m.ToString ()
|
||||
|
||||
type PushMirror =
|
||||
{
|
||||
GitHubAddress : Uri
|
||||
|
Reference in New Issue
Block a user