Lucas Gonze

It might be related that the system I'm using is noticeably slow. It's a 2017 Air running Monterey and Docker. This tends to trigger race conditions. So try running something...

> @pombredanne i confirmed that the short term workaround is helpful in my installation, thanks. And it means that I can now report other issues :-) Ditto. Ibid. What he...

@benoitc Do you need assistance from contributors? Can we help lighten your load?

Pinged on Twitter: https://twitter.com/lucas_gonze/status/1563217351608115200

I am also seeing this issue. On investigation I found that PackageCopyrightText is always blank. Overall I found that all fields except a few are blank or wrong. This entry...

> @lucasgonze Note that the required DCO check is failing because the last three commits weren't signed. Could you please fix this? Thanks for calling that out. This was caused...

The one test failure is a bug in Reviewdog, triggered by spelling errors in ./nms/.yarn/releases/yarn-3.2.0.cjs > reviewdog: POST https://api.github.com/repos/magma/magma/pulls/13608/reviews: 422 Unprocessable Entity [{Resource: Field: Code: Message:Pull request review thread path...

> The yarn-file should not be touched in this PR. Fixed.

> @lucasgonze For some reason check-semantic-pr hasn't run. Perhaps a rebase will fix it? Rebased and pushed.

In https://github.com/magma/magma/pull/13547 I have: - Renamed "Proposals" in the nav to "Design Documents" - Updated the design doc for the proposals process per discussion above - Removed https://docs.magmacore.org/docs/contributing/contribute_proposals from the...