Opened 9 years ago

Closed 9 years ago

#32915 closed enhancement (fixed)

py-clint: use github portgroup

Reported by: ryandesign (Ryan Schmidt) Owned by: phw@…
Priority: Normal Milestone:
Component: ports Version: 2.0.3
Keywords: haspatch Cc:
Port: py-clint


py-clint could benefit from using the new github portgroup. Attached is a patch to do this.

Note that your custom distname and extract.suffix are no longer necessary, but should not be removed unless you also update the version in the same commit; no need to force our mirrors and users to re-download the file just to give it a new name.

Consider rewriting your other ports that are hosted at github to use the github portgroup as well.

Attachments (1)

py-clint-github.diff (1.1 KB) - added by ryandesign (Ryan Schmidt) 9 years ago.
proposed patch

Download all attachments as: .zip

Change History (2)

Changed 9 years ago by ryandesign (Ryan Schmidt)

Attachment: py-clint-github.diff added

proposed patch

comment:1 Changed 9 years ago by ryandesign (Ryan Schmidt)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.