This repository has been archived by the owner on Apr 22, 2023. It is now read-only.
Set up this repo #4
Labels
help wanted
Extra attention is needed
Comments
5 tasks
I would like to start working on this issue :) Is anyone else working on this by any chance ? |
Do check the PR at the #7 wrt the CI based sync between repos |
@vdeturckheim is this something you think we still need. It looks like it has not been sync'd for a while. I was looking to see if we could rename the primary branch to main, but I'm wondering if we should just archive it instead. |
@mhdawson +1 on archiving, I think the security WG situation makes this all unneeded now |
Ok, will archive |
I've unarchived this repo so I can close all PRs and issues before re-archiving. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The text was updated successfully, but these errors were encountered: