url2pkg not doing the right thing with github

[coypu%SDF.ORG@localhost]

Hi,

Doing `url2pkg https://github.com/diffblue/cbmc/archive/cbmc-5.4.tar.gz`
did not do the right thing.

$ url2pkg https://github.com/diffblue/cbmc/archive/cbmc-5.4.tar.gz
Use of uninitialized value $gh_release in string ne at
/usr/pkg/bin/url2pkg line 367, <SITES> line 303.
Use of uninitialized value $dist_subdir in string ne at
/usr/pkg/bin/url2pkg line 367, <SITES> line 303.
url2pkg> Running "make distinfo" ...
=> Bootstrap dependency digest>=20010302: found digest-20160304
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg
fetch-pkg-vulnerabilities'.
=> Fetching cbmc-5.4.tar.gz
Requesting https://github.com/diffblue/cbmc/archive/5.4.tar.gz
Redirected to https://codeload.github.com/diffblue/cbmc/tar.gz/5.4
Requesting https://codeload.github.com/diffblue/cbmc/tar.gz/5.4
ftp: Error retrieving file `404 Not Found'
fetch: Unable to fetch expected file cbmc-5.4.tar.gz

Adding to my Makefile after url2pkg call
GITHUB_TAG=	${DISTNAME}

Made it fetch correctly.

(Note it tries to fetch 5.4.tar.gz, as opposed to cbmc-5.4.tar.gz)

I'm not sure what the desired fix for url2pkg is.

Thanks.