Skip to content

Add optional command arguments in the end for "attach" command#267

Open
DMaroo wants to merge 2 commits into
janestreet:masterfrom
DMaroo:attach-command
Open

Add optional command arguments in the end for "attach" command#267
DMaroo wants to merge 2 commits into
janestreet:masterfrom
DMaroo:attach-command

No need to use `maybe`, just using `sequence` is enough

879a8a9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs