Skip to content

Conversation

@sobolevn
Copy link
Member

@sobolevnsobolevn commented Mar 20, 2023

Looks like the consensus is that we don't need this file anymore.
Old version can be always found here: https://github.com/python/cpython/blob/094cf392f49d3c16fe798863717f6c8e0f3734bb/Misc/gdbinit

@sobolevn
Copy link
MemberAuthor

Do we need news for it? 🤔

@gpshead
Copy link
Member

Do we need news for it? 🤔

It is good to include a tiny NEWS note. "Misc/gdbinit was removed."

@gpsheadgpshead self-assigned this Mar 20, 2023
@gpsheadgpshead merged commit ef000eb into python:mainMar 20, 2023
@sobolevn
Copy link
MemberAuthor

Thank you!

Fidget-Spinner pushed a commit to Fidget-Spinner/cpython that referenced this pull request Mar 27, 2023
Looks like the consensus is that we don't need this file anymore. Old version can be always found here: https://github.com/python/cpython/blob/094cf392f49d3c16fe798863717f6c8e0f3734bb/Misc/gdbinit
@hroncok
Copy link
Contributor

The file is still referenced in the README

@hroncok
Copy link
Contributor

Oh, #103269

warsaw pushed a commit to warsaw/cpython that referenced this pull request Apr 11, 2023
Looks like the consensus is that we don't need this file anymore. Old version can be always found here: https://github.com/python/cpython/blob/094cf392f49d3c16fe798863717f6c8e0f3734bb/Misc/gdbinit
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@sobolevn@gpshead@hroncok@bedevere-bot