Closed jklymak closed 1 year ago
closes #91 as well...
I'm not sure what's the rationale for requiring an empty repo
if the tool is not on GitHub.
Why not simply replace the "github" tag by a "git", "code", or "repo" tag and just use whatever URL was provided in the PR?
What's the point of getting the user and package names from repo
?
What's the point of getting the user and package names from repo?
None. The first version of this was written to quickly generate a basic output. It's not rigorously designed and contains some simplified assumptions.
The correct way forward is:
github
badge to repo
(or code
)repo
key in the YAML accept full URLs and
user/name
to https://github.com/user/name
for backward compatibilityYou are welcome to open a PR.
@jklymak do you plan to reopen a new PR or should I do it?
No I don't plan to reopen this
Superseeded by #156.
PR Summary
This now allows packages that do not have a GitHub repo to mostly work. They still need at least a pipit page.
The code is a bit tacky, so criticism most welcome.