github-mirror-path ( org/user -- path )

Vocabulary

github

Inputs

org/user

an object

Outputs

path

an object

Definition

USING: io.pathnames ;

IN: github

: github-mirror-path ( org/user -- path )
    "github-factor-pristine" home-path prepend-path ;