NixLab

Makes the ref a member. Members are a set, so assigning a member again changes nothing. A closed milestone refuses.

Idempotent.

title, markdown description, due date: a new open milestone with no members, under the next free id. A blank title is refused.

Rewrites the title, description and due date, closed or open; membership, state, author and creation time stay as they were.

Nothing for an id no milestone has; every other verb that names a milestone refuses such an id.

Every milestone, in id order.

The milestone's Tally: tallyDone of its tallyTotal members are done. Counts rather than a ratio, so "none of three" and "no members" differ; milestoneShare gives the share.

Idempotent.

Unassigning a ref that is not a member changes nothing. A closed milestone refuses.

The due date a string spells, as a string literal is: partial, an error on a string that is not a calendar date, as for ref.

Accepts exactly the YYYY-MM-DD spellings of real dates, the 29th of February in leap years only.

Accepts exactly NS/PROJ#N and NS/PROJ!N: two or more /-separated names, the marker, and a positive number written without leading zeros, so every ref has one spelling.

The ref a string spells, as a string literal is: partial, an error on a string that is not a ref, so a program written without OverloadedStrings still fails as it is folded, not later.

from AddComment

from AddMember

from AddProjectAlias

from AddProjectMember

from AddSshKey

from AddUserSshKey

from AmAdmin

from Approvals

from Approve

from Approvers

from Audit

from Avatars

from Branches

from ClaimJob

from ClaimJobs

from ClaimPlans

from ClaimPublications

from CloseIssue

from CloseMergeRequest

from CommentMergeRequest

from Comments

from Commits

from CreateGroup

from CreateProject

from CreateServiceAccount

from CreateToken

from CreateUser

from DeleteGroup

from DeleteProject

from EditIssue

from EndSessions

from FlakeOutputs

from GetCommit

from GetGroup

from GetIssue

from GetMergeRequest

from GetPipeline

from GetProject

from Groups

from ImportFromDerivation

from Issues

from MarkAllTodosDone

from MarkTodoDone

from Members

from Merge

from MergeRequestComments

from MergeRequestCommits

from MergeRequests

from MyRole

from OpenIssue

from OpenMergeRequest

from PackageIndex

from Packages

from PipelineJobs

from Pipelines

from ProjectAliases

from ProjectMembers

from ProjectPackages

from Projects

from ProtectBranch

from ProtectedBranches

from RemoveAvatar

from RemoveMember

from RemoveProjectMember

from RemoveSshKey

from RenameProject

from ReopenIssue

from ReopenMergeRequest

from ReplyThread

from ReportJob

from ReportPlan

from ReportPublication

from ResolveThread

from RevokeServiceAccount

from RevokeToken

from RotateServiceAccount

from RunPipeline

from ServiceAccounts

from SetApprovers

from SetAvatar

from SetDefaultBranch

from SetDescription

from SetPassword

from SetPublish

from SetSetting

from SetVisibility

from Settings

from SshKeys

from StartThread

from Threads

from Todos

from Tokens

from Tree

from Unapprove

from UnprotectBranch

from UnresolveThread

from Whoami

A due date, a calendar date written YYYY-MM-DD. Built only by parseDue, due or a string literal, so the 30th of February cannot be due; no record field, for the reason Ref has none.

A milestone as it crosses the wire. milestoneDone is the members that are done, so it is a subset of milestoneMembers; neither repeats a ref.

A milestone's number, forge-wide.

An issue (ns/proj#N) or a merge request (ns/proj!N), the namespace possibly nested (package-setshaskellx#3). Built only by parseRef, makeRef, ref or a string literal, so a ref always names something a forge could hold. No record field: an update through one would skip the check.

How far a milestone has got: tallyDone of its tallyTotal members are done. Counts rather than a ratio, so "none of three" and "no members" are different answers and a reader can print "2 of 5".