mirror of
https://github.com/urbit/shrub.git
synced 2024-11-28 13:54:20 +03:00
Merge pull request #3870 from urbit/lf/fix-push-remove
lib-push-hook: fix behaviour of %remove
This commit is contained in:
commit
13a1f055b0
@ -318,14 +318,15 @@
|
||||
|= rid=resource
|
||||
=/ pax=path
|
||||
[%resource (en-path:resource rid)]
|
||||
=/ paths=(list path)
|
||||
=/ paths=(set path)
|
||||
%- sy
|
||||
%+ turn
|
||||
(incoming-subscriptions pax)
|
||||
|=([ship pox=path] pax)
|
||||
|=([ship pox=path] pox)
|
||||
=. sharing
|
||||
(~(del in sharing) rid)
|
||||
:_ state
|
||||
[%give %kick ~[pax] ~]~
|
||||
[%give %kick ~(tap in paths) ~]~
|
||||
::
|
||||
++ revoke
|
||||
|= [ships=(set ship) rid=resource]
|
||||
|
Loading…
Reference in New Issue
Block a user