doc:todo:gitdocs
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
doc:todo:gitdocs [2020/02/04 12:51] – created salathe | doc:todo:gitdocs [2020/02/04 12:56] (current) – salathe | ||
---|---|---|---|
Line 10: | Line 10: | ||
* Assigned: Peter | * Assigned: Peter | ||
- Grant force-push access to a user that can push the modified commits from svngit.php.net (can be me, can be a dedicated user) | - Grant force-push access to a user that can push the modified commits from svngit.php.net (can be me, can be a dedicated user) | ||
- | * Status: TODO | + | |
- | * Assigned: Peter | + | |
+ | * Assigned: Peter | ||
+ | | ||
+ | * Status: to be verified | ||
+ | | ||
- Add the remotes to the respective repos on svngit.php.net and set up automated force push | - Add the remotes to the respective repos on svngit.php.net and set up automated force push | ||
* Status: TODO | * Status: TODO | ||
* Assigned: Andreas | * Assigned: Andreas | ||
- | - Switch source-code retrieval on docs.php.net from svn.php.net to git.php.net | + | - Switch source-code retrieval on docs.php.net from svn.php.net to git.php.net |
* Clone git repos onto docs box | * Clone git repos onto docs box | ||
* Status: TODO | * Status: TODO | ||
Line 22: | Line 26: | ||
* Status: TODO | * Status: TODO | ||
* Assigned: (anyone, scripts are in systems.git) | * Assigned: (anyone, scripts are in systems.git) | ||
- | - Switch revcheck-generation from the current script to https:// | + | - Switch revcheck-generation from the current script to https:// |
* Status: TODO | * Status: TODO | ||
* Assigned: (anyone, scripts are in doc-base) | * Assigned: (anyone, scripts are in doc-base) | ||
Line 35: | Line 39: | ||
* Status: TODO | * Status: TODO | ||
* Assigned: (anyone, scripts are in systems.git) | * Assigned: (anyone, scripts are in systems.git) | ||
- | - Setup github mirroring and processes to merge merge-requests from github into the documentation git (Someone with access. Who would that be???) | + | - Setup github mirroring and processes to merge merge-requests from github into the documentation git |
- | * If we have blocked github mirroring | + | * If we have blocked github mirroring |
* Status: TODO | * Status: TODO | ||
* Assigned: Peter (or anyone with gitolite admin) | * Assigned: Peter (or anyone with gitolite admin) | ||
- | * Otherwise, use the normal setup / procedure as the rest of the git repos (i.e. allow PRs on GitHub | + | * Otherwise, use the normal setup / procedure as the rest of the git repos (i.e. allow PRs on GH but no-one can merge on GH, merge via git.php.net, |
- Rewrite setup-instructions for documentation and send email to docs teams regarding new process | - Rewrite setup-instructions for documentation and send email to docs teams regarding new process | ||
* Status: TODO | * Status: TODO |
doc/todo/gitdocs.1580820680.txt.gz · Last modified: 2020/02/04 12:51 by salathe