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

Documentation: Replace "Authors:" with "Author:" in headers #624

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

peterfang
Copy link
Contributor

Only "// Author: " is the permissible format in the pre-commit hook. Fix them so that we stop running into pre-commit errors on these existing headers.

The is a follow-up of #620 (comment)

Only "// Author: " is the permissible format in the pre-commit hook. Fix
them so that we stop running into pre-commit errors on these existing
headers.

Signed-off-by: Peter Fang <peter.fang@intel.com>
@stefano-garzarella
Copy link
Member

I don't know why Rust / Check unsafe blocks (pull_request) is failing, there is no log for the failed job, @joergroedel can you restart it?

@stefano-garzarella
Copy link
Member

I don't know why Rust / Check unsafe blocks (pull_request) is failing, there is no log for the failed job, @joergroedel can you restart it?

There is no log because we redirect the stderr to the file, this #627 should allow us to better debug these cases. BTW I still don't get why it's failing, it could be something unrelated.

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.

3 participants