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.

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

Update psa.p4 2018 06 05 #1324

Merged
merged 2 commits into from
Jun 6, 2018

Conversation

SantiagoBautista
Copy link
Contributor

This pr does two things:

  • Updates the psa.p4 in the p4c repo to the version present in the p4-spec repo
  • Corrects the rights of some non-executable files, that had execution rights

Ran the comand `chmod -x *.p4 *.stf`
to avoid non-executable files from having execution rigths
@antoninbas
Copy link
Member

I was able to block the user for the p4lang organization. I don't know why we seem to be getting more spam (on multiple repos) all of a sudden.

Copy link
Contributor

@jafingerhut jafingerhut left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me.

@mihaibudiu mihaibudiu merged commit 3695ddb into p4lang:master Jun 6, 2018
@SantiagoBautista SantiagoBautista deleted the update_psa_2018-06-05 branch June 7, 2018 00:13
Sign up for free to 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