-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Release 3.0.2
- Loading branch information
Showing
34 changed files
with
1,552 additions
and
63 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1 +1 @@ | ||
| 3.0.1 | ||
| 3.0.2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,15 @@ | ||
| |% | ||
| :: $saga: version synchronisation state | ||
| :: %dex: publisher is ahead | ||
| :: %lev: we are ahead | ||
| :: %chi: full sync | ||
| :: | ||
| +$ saga | ||
| $% [%dex ver=@ud] | ||
| [%lev ~] | ||
| [%chi ~] | ||
| == | ||
|
|
||
| +$ epic @ud | ||
| :: | ||
| -- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,39 @@ | ||
| /- *group, *resource | ||
| ^? | ||
| |% | ||
| :: | ||
| :: $action: request to change group-store state | ||
| :: | ||
| :: %add-group: add a group | ||
| :: %add-members: add members to a group | ||
| :: %remove-members: remove members from a group | ||
| :: %add-tag: add a tag to a set of ships | ||
| :: %remove-tag: remove a tag from a set of ships | ||
| :: %change-policy: change a group's policy | ||
| :: %remove-group: remove a group from the store | ||
| :: %expose: unset .hidden flag | ||
| :: | ||
| +$ action | ||
| $% [%add-group =resource =policy hidden=?] | ||
| [%add-members =resource ships=(set ship)] | ||
| [%remove-members =resource ships=(set ship)] | ||
| [%add-tag =resource =tag ships=(set ship)] | ||
| [%remove-tag =resource =tag ships=(set ship)] | ||
| [%change-policy =resource =diff:policy] | ||
| [%remove-group =resource ~] | ||
| [%expose =resource ~] | ||
| == | ||
| :: $update: a description of a processed state change | ||
| :: | ||
| :: %initial: describe groups upon new subscription | ||
| :: | ||
| +$ update | ||
| $% initial | ||
| action | ||
| == | ||
| +$ initial | ||
| $% [%initial-group =resource =group] | ||
| [%initial =groups] | ||
| == | ||
| -- | ||
|
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,109 @@ | ||
| /- *resource | ||
| :: | ||
| ^? | ||
| |% | ||
| :: | ||
| ++ groups-state-one | ||
| |% | ||
| +$ groups (map resource group) | ||
| :: | ||
| +$ tag $@(group-tag [app=term tag=term]) | ||
| :: | ||
| +$ tags (jug tag ship) | ||
| :: | ||
| +$ group | ||
| $: members=(set ship) | ||
| =tags | ||
| =policy | ||
| hidden=? | ||
| == | ||
| -- | ||
| :: $groups: a mapping from group-ids to groups | ||
| :: | ||
| +$ groups (map resource group) | ||
| :: $group-tag: an identifier used by groups | ||
| :: | ||
| :: These tags should have precise semantics, as they are shared across all | ||
| :: apps. | ||
| :: | ||
| +$ group-tag ?(role-tag) | ||
| :: $tag: an identifier used to identify a subset of members | ||
| :: | ||
| :: Tags may be used and recognised differently across apps. | ||
| :: for example, you could use tags like `%author`, `%bot`, `%flagged`... | ||
| :: | ||
| +$ tag $@(group-tag [app=term =resource tag=term]) | ||
| :: $role-tag: a kind of $group-tag that identifies a privileged user | ||
| :: | ||
| :: These roles are | ||
| :: %admin: Administrator, can do everything except delete the group | ||
| :: %moderator: Moderator, can add/remove/ban users | ||
| :: %janitor: Has no special meaning inside group-store, | ||
| :: but may be given additional privileges in other apps. | ||
| :: | ||
| +$ role-tag | ||
| ?(%admin %moderator %janitor) | ||
| :: $tags: a mapping from a $tag to the members it identifies | ||
| :: | ||
| +$ tags (jug tag ship) | ||
| :: $group: description of a group of users | ||
| :: | ||
| :: .members: members of the group | ||
| :: .tag-queries: a map of tags to subsets of members | ||
| :: .policy: permissions for the group | ||
| :: .hidden: is group unmanaged | ||
| +$ group | ||
| $: members=(set ship) | ||
| =tags | ||
| =policy | ||
| hidden=? | ||
| == | ||
| :: $policy: access control for a group | ||
| :: | ||
| ++ policy | ||
| =< policy | ||
| |% | ||
| :: | ||
| +$ policy | ||
| $% invite | ||
| open | ||
| == | ||
| :: $diff: change group policy | ||
| +$ diff | ||
| $% [%invite diff:invite] | ||
| [%open diff:open] | ||
| [%replace =policy] | ||
| == | ||
| :: $invite: allow only invited ships | ||
| ++ invite | ||
| =< invite-policy | ||
| |% | ||
| :: | ||
| +$ invite-policy | ||
| [%invite pending=(set ship)] | ||
| :: $diff: add or remove invites | ||
| :: | ||
| +$ diff | ||
| $% [%add-invites invitees=(set ship)] | ||
| [%remove-invites invitees=(set ship)] | ||
| == | ||
| -- | ||
| :: $open: allow all unbanned ships of approriate rank | ||
| :: | ||
| ++ open | ||
| =< open-policy | ||
| |% | ||
| :: | ||
| +$ open-policy | ||
| [%open ban-ranks=(set rank:title) banned=(set ship)] | ||
| :: $diff: ban or allow ranks and ships | ||
| :: | ||
| +$ diff | ||
| $% [%allow-ranks ranks=(set rank:title)] | ||
| [%ban-ranks ranks=(set rank:title)] | ||
| [%ban-ships ships=(set ship)] | ||
| [%allow-ships ships=(set ship)] | ||
| == | ||
| -- | ||
| -- | ||
| -- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.