Opened 12 years ago

Closed 11 years ago

#36622 closed defect (fixed)

py27-pinocchio @0.2 git clone failed

Reported by: alex.rudy+ports@… Owned by: g5pw (Aljaž Srebrnič)
Priority: Normal Milestone:
Component: ports Version: 2.1.2
Keywords: haspatch Cc:
Port: py-pinocchio

Description

The github url for py27-pinocchio:

a) points to a non-existant repository: https://github.com/infrared/pinocchio

b) uses https, not git:// or http:// (I believe only git:// is supported), and so requires authentication.

Solutions

Use mkwiatkowski's repo (he is the developer of the spec plugin) https://github.com/mkwiatkowski/pinocchio

Use the pypi submission here: http://pypi.python.org/pypi/pinocchio/0.3.1

Error message:

Username for 'https://github.com': alexrudy
Password for 'https://alexrudy@github.com': 
Error: org.macports.fetch for port py27-pinocchio returned: Git clone failed
Please see the log file for port py27-pinocchio for details:
    /opt/local/var/macports/logs/_opt_local_var_macports_sources_rsync.macports.org_release_tarballs_ports_python_py-pinocchio/py27-pinocchio/main.log
To report a bug, follow the instructions in the guide:
    http://guide.macports.org/#project.tickets
Error: Processing of port py27-pinocchio failed

Attachments (1)

Portfile-py-pinocchio.diff (1.4 KB) - added by alex.rudy+ports@… 12 years ago.
Updates pinocchio to 0.3.1 and uses pypi distribution

Download all attachments as: .zip

Change History (7)

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

Cc: singingwolfboy removed
Owner: changed from macports-tickets@… to singingwolfboy@…

The now-non-existent repository presumably used to exist, else it wouldn't have been listed that way in the port.

Ports using the github portgroup use https URLs and they work fine. The py-pinocchio port does not use the github portgroup, but maybe it should be changed to do so, if fetching from github is still desired.

The Cc field requires complete email addresses.

comment:2 Changed 12 years ago by alex.rudy+ports@…

Is there a problem with switching to the pypi download? There doesn't seem to be a canonical github repository for this port anyways, and the original developer has submitted it to pypi (with a larger version number)? I can submit a patch that uses pypi.

Changed 12 years ago by alex.rudy+ports@…

Attachment: Portfile-py-pinocchio.diff added

Updates pinocchio to 0.3.1 and uses pypi distribution

comment:3 Changed 12 years ago by jmroot (Joshua Root)

Keywords: haspatch added
Port: py-pinocchio added; py27-pinocchio removed

comment:4 Changed 12 years ago by alex.rudy+ports@…

I'd like to poke the community about using v0.3.1 of pinocchio. Any reason this hasn't come up yet? I don't see a response from the maintainer in this thread... should we patch to use version 0.2 with the github portgroup? Is that a minor enough patch where we can do that with the openmainter rules?

comment:5 Changed 11 years ago by g5pw (Aljaž Srebrnič)

Owner: changed from singingwolfboy@… to g5pw@…

Maintainer is retired, I'll surely take a look!

comment:6 Changed 11 years ago by g5pw (Aljaž Srebrnič)

Resolution: fixed
Status: newclosed

Updated in r107702.

Note: See TracTickets for help on using tickets.