Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove no-longer-used *.p4info.txt files #4687

Merged
merged 1 commit into from
May 28, 2024
Merged

Remove no-longer-used *.p4info.txt files #4687

merged 1 commit into from
May 28, 2024

Conversation

jafingerhut
Copy link
Contributor

They have all been replaced with corresponding *.p4info.txtpb files

@jafingerhut
Remove no-longer-used *.p4info.txt files
48137a6 
They have all been replaced with corresponding *.p4info.txtpb files
@jafingerhut
Copy link
Contributor Author

I have done a 'diff' between each of these *.p4info.txt files, and every one of them has a corresponding *.p4info.txtpb file checked in that is identical except for one blank line, which I believe is expected.

@fruffy fruffy added the infrastructure Topics related to code style and build and test infrastructure. label May 28, 2024
@jafingerhut jafingerhut added this pull request to the merge queue May 28, 2024
Merged via the queue into p4lang:main with commit 8ff79b8 May 28, 2024
17 checks passed
@jafingerhut jafingerhut deleted the remove-obsolete-p4info-txt-files branch May 28, 2024 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fruffy fruffy fruffy approved these changes

Assignees
No one assigned
Labels
infrastructure Topics related to code style and build and test infrastructure.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jafingerhut @fruffy