urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-21 09:51:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

graph-push-hook: code style cleaning

Browse Source
This commit is contained in:
Logan Allen 2021-05-10 15:32:20 -05:00
parent 2a0fdb446c
commit 3c530cdc01
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkg/arvo/app/graph-push-hook.hoon
View File

@ -403,9 +403,9 @@
|- ^- [? (list card)] |- ^- [? (list card)]
?~ a [& cards] ?~ a [& cards]
=/ c (check i.a is-admin writers vip) =/ c (check i.a is-admin writers vip)
=. cards (weld cards +.c) ?. -.c
?. -.c [| cards] [| (weld cards +.c)]
$(a t.a) $(a t.a, cards (weld cards +.c))
:: ::
++ check ++ check
|= $: [=index:store =node:store] |= $: [=index:store =node:store]
@ -461,9 +461,9 @@
|- ^- [? (list card)] |- ^- [? (list card)]
?~ a [& cards] ?~ a [& cards]
=/ c (check i.a is-admin writers vip) =/ c (check i.a is-admin writers vip)
=. cards (weld cards +.c) ?. -.c
?. -.c [| cards] [| (weld cards +.c)]
$(a t.a) $(a t.a, cards (weld cards +.c))
:: ::
++ check ++ check
|= [=index:store is-admin=? writers=(set ship) vip=vip-metadata:metadata] |= [=index:store is-admin=? writers=(set ship) vip=vip-metadata:metadata]
@ -475,7 +475,7 @@
=/ removed =/ removed
%^ remove-mark resource vip %^ remove-mark resource vip
(node-to-indexed-post node) (node-to-indexed-post node)
=* permissions -.removed =* permissions -.removed
=* cards +.removed =* cards +.removed
=/ =permission-level:store =/ =permission-level:store
(get-permission permissions is-admin writers) (get-permission permissions is-admin writers)