-
Notifications
You must be signed in to change notification settings - Fork 78
Open
Description
As david is no longer active here the repo should be moved into an org.
That way we can give more granular permissions to maintainers and benefit from some org only github features.
Some points we need to do:
-
UpdateREADME.md
to point users to the new repository. -
Update guide to redirect users to the new guide url. - Set up custom github pages url
- Check if we have absolute urls in our code and update them (maybe after move?).
- Feature freeze and finish last release from this repo.
- Configure org.
ext-php-rs
is taken. Registeredextphprs
for now. If someone has a better idea suggestions are welcome.
If david has time to properly move it, that would be preferred. If not we need to manually migrate issues/MRs and ask him to archive once we are done.
Edit: Might not be needed exactly. Reading up on what happens with proper transfer on github docs.
kakserpom, ptondereau and el7cosmos
Metadata
Metadata
Assignees
Labels
No labels