mirror of
https://github.com/urbit/shrub.git
synced 2024-12-01 06:35:32 +03:00
pull-hook: convert list of paths to single path
This commit is contained in:
parent
09a5d7c71d
commit
29d118af72
@ -356,10 +356,9 @@
|
||||
?: ?=(%2 -.res)
|
||||
p.res
|
||||
?> ?=(%1 -.res)
|
||||
=/ paths=(unit (list path)) ((soft (list path)) p.res)
|
||||
?~ paths ~
|
||||
%+ turn u.paths
|
||||
(cork path smyt)
|
||||
=/ maybe-path=(unit path) ((soft path) p.res)
|
||||
?~ maybe-path ~
|
||||
[(smyt u.maybe-path) ~]
|
||||
%- (slog tang)
|
||||
(~(put by failed-kicks) rid ship)
|
||||
?^ pax
|
||||
|
Loading…
Reference in New Issue
Block a user