doc:todo:gitdocs

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
doc:todo:gitdocs [2020/02/04 12:52] salathedoc: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 +    * Create a new VCS account for the migration 
-    * Assigned: Peter+      * Status: TODO 
 +      * Assigned: Peter 
 +    * Force-push should be allowed by default (AFAIK (Peter) we only restrict force-push to a very small set of branches on a very small number of repos) 
 +      * Status: to be verified 
 +      * Assigned: Peter
   - 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
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://github.com/phpdoctest/doc-base/blob/master/scripts/revcheck.php (someone with access according to https://wiki.php.net/systems/euk2+  - Switch revcheck-generation from the current script to https://github.com/phpdoctest/doc-base/blob/master/scripts/revcheck.php 
     * 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 during the above, allow it here+    * If we have blocked github mirroring in gitolite, allow it now.
       * 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 but no-one can merge on GH, merge via git.php.net, use qa.php.net/pulls interface)+    * 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, use qa.php.net/pulls interface)
   - 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.1580820741.txt.gz · Last modified: 2020/02/04 12:52 by salathe