Opened 6 years ago

Closed 4 years ago

Last modified 4 years ago

#37279 closed enhancement (fixed)

git-core: Rename to git

Reported by: raimue (Rainer Müller) Owned by: ci42
Priority: Normal Milestone:
Component: ports Version: 2.1.2
Keywords: Cc: skymoo (Adam Mercer), larryv (Lawrence Velázquez), petrrr, cooljeanius (Eric Gallager)
Port: git-core git


Rename git-core to git.

The port was named git-core as the original intention of the upstream project was to use git in a larger set of tools. This has not turned out to be true and thus, this port should be renamed to plain git. This name is not taken by any pre-existing port and would be easier to recognize the right thing for new users. The dependent ports need to be updated as well.

Please keep git-core as a replaced_by stub port such that old references in tutorials still work as expected.

Change History (8)

comment:1 Changed 6 years ago by skymoo (Adam Mercer)

Cc: ram@… added

Cc Me!

comment:2 Changed 6 years ago by larryv (Lawrence Velázquez)

Cc: larry.velazquez@… added

Cc Me!

comment:3 Changed 6 years ago by larryv (Lawrence Velázquez)

Cc: larryv@… added; larry.velazquez@… removed

comment:4 Changed 4 years ago by raimue (Rainer Müller)

I think the upcoming git 1.9.0 release would be a good opportunity to finally make the switch to the git name.

comment:5 Changed 4 years ago by petrrr

I just step across this ticket and it looks it was overseen for a while. git-core is now @1.9.1 but this ticket was not implemented. So I propose to implement it now, or to just close the ticket ...

comment:6 Changed 4 years ago by petrrr

Cc: Peter.Danecek@… added

Cc Me!

comment:7 Changed 4 years ago by ci42

Resolution: fixed
Status: newclosed

Renamed with the git 2.0.0 release in r120912.

comment:8 Changed 4 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

Note: See TracTickets for help on using tickets.