Skip to content

Rename all .txt PEP files to .rst - #462

Merged
Mariatta merged 1 commit into
python:masterfrom
mozillazg:rename-peps-from-txt-to-rst
Nov 11, 2017
Merged

Mariatta merged 1 commit into
python:masterfrom
mozillazg:rename-peps-from-txt-to-rst

Conversation

@mozillazg

Copy link
Copy Markdown
Contributor

Only rename files, others PR will update pep2html.py and pep0.

@Mariatta
Mariatta merged commit bb0e518 into python:master Nov 11, 2017
@Mariatta

Copy link
Copy Markdown
Member

Thanks @mozillazg!

Mariatta added a commit to Mariatta/peps that referenced this pull request Nov 11, 2017
Mariatta added a commit that referenced this pull request Nov 11, 2017
@Mariatta

Copy link
Copy Markdown
Member

Sorry @mozillazg. After I merged your PR, it erased the history of the PEPs; each pep-*.rst was treated as a brand new file. So I had to revert your changes to retain the history.

@methane

methane commented Nov 11, 2017 via email

Copy link
Copy Markdown
Member

@Mariatta

Copy link
Copy Markdown
Member

@methane, sorry, 'erased' was the wrong word I shouldn't have used it. What happened was that when a file was renamed, GitHub is only showing the new file history since the rename. So after pep-0008.txt was renamed to pep-0008.rst, on GitHub I could no longer see all the revision ever made to PEP 8.
On the command line, git log pep-0008.rst also does not show the complete revision history. Only that it was renamed. We have to do git log --follow pep-0008.rst to get the complete history.
I think not being able to easily see the history in GitHub is inconvenient and I'm not comfortable with it.
So I reverted the commit for now. (everything is in . txt again).

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants