Skip to content

Update copyrights year in LICENSE #1395

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

Merged
merged 1 commit into from
Feb 3, 2023
Merged

Conversation

bocharsky-bw
Copy link
Contributor

Is there a better way? E.g. write it as 2015+ to avoid changing it every year?

@bocharsky-bw
Copy link
Contributor Author

Failed PHP CS Fixer build fixed in #1396

@javiereguiluz
Copy link
Member

Victor, thanks for fixing this issue ... and for doing it permanently 🙌

@javiereguiluz
Copy link
Member

@bocharsky-bw while trying to merge I see this error 🤔

  Error Output:
  ================
  ERROR: Permission to bocharsky-bw/demo.git denied to javiereguiluz.
  fatal: Could not read from remote repository.

  Please make sure you have the correct access rights
  and the repository exists.

Not sure what can I do on my side.

User "present" instead of 2023

Co-authored-by: Jérôme Tamarelle <[email protected]>
@bocharsky-bw
Copy link
Contributor Author

Hm, super weird... I have "Allow edits and access to secrets by maintainers" enabled for this PR... and no special security for that repo too. Probably a temporary GitHub outage? I also squashed commits here to see if helps. If no - probably easier to recreate a PR

@javiereguiluz
Copy link
Member

Hi Victor ... thanks a lot for checking this. Actually, I read the error message too fast. Apparently, the issue is that I no longer have permission to push to symfony/demo either:

ERROR: Permission to symfony/demo.git denied to javiereguiluz.
fatal: Could not read from remote repository.

I've asked @fabpot, so hopefully we can sort this out. Thanks.

@javiereguiluz javiereguiluz merged commit 15f089a into symfony:main Feb 3, 2023
@javiereguiluz
Copy link
Member

The problem was solved, so your PR are now fully merged.

Victor, I'm sorry again for these troubles and I thank you for your patience 🙏

@bocharsky-bw bocharsky-bw deleted the patch-3 branch February 3, 2023 13:36
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