$TAG_REMOTE from $GITHUB_ORG/REPO?
CJ-Wright opened this issue · comments
Christopher J. 'CJ' Wright commented
Should we pull the info for tag remote from github repo/org for default?
Anthony Scopatz commented
Yeah, perhaps, but not everyone uses git or github.
Anthony Scopatz commented
Stiil, it is a good idea to prevent redundency
Christopher J. 'CJ' Wright commented
Closed by #94