Replace co with checkout #121

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
2 participants
Collaborator

whatthejeff commented Jan 17, 2011

Had an issue checking out 3.6 today on a server that didn't have the git co alias configured.

Closed by 4723745.

Damn, had not seen that there was a pull request attached. Sorry.

Collaborator

whatthejeff commented Jan 18, 2011

No worries.

@cebe cebe pushed a commit to cebe/phpunit that referenced this pull request Aug 15, 2011

@sebastianbergmann sebastianbergmann Close #121. 4723745

@greglamb greglamb pushed a commit to greglamb/phpunit that referenced this pull request Apr 19, 2013

@sebastianbergmann sebastianbergmann Close #121. 8bab705

This issue was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment