@@ -25,13 +25,19 @@ If you need to deploy or to hack on this tool, you will want to read the
25
25
26
26
## Common Tool
27
27
28
- ### New Repository
28
+ ### [ New Repository] ( https://labs.w3.org/repo-manager/repo/new )
29
29
30
30
This is basically what people should use when they want to start a new specification with the WG/CG.
31
- It gives you a choice of the organisations under which you are allowed to create a new repo
31
+ It gives you a choice of the organizations under which you are allowed to create a new repo
32
32
(including your own user), and you can pick the name of the repo and the groups to which it
33
33
belongs.
34
34
35
+ * Note* : the list of organizations depends on the user's GitHub organizations. If you are owner of an
36
+ organization and you don't see it in the list, you need to grant the repository manager access to that
37
+ organization. To do so, go in your
38
+ [ 'Authorized OAuth Apps' settings`] ( https://github.com/settings/applications ) , click on 'W3C Repository
39
+ Manager' and grant access to the new organization.
40
+
35
41
Hitting "Create" can take a little while as the tool does all of the following, live:
36
42
37
43
* Creates the repo on GitHub
@@ -43,7 +49,10 @@ Hitting "Create" can take a little while as the tool does all of the following,
43
49
44
50
Most users should only ever have to use that. Once done they can go and play in their repo.
45
51
46
- ### Import Repository
52
+ ** Important** : [ ` w3cbot ` ] ( https://github.com/w3cbot ) should be able to comment on the different pull
53
+ requests so you should consider adding @w3cbot as a member of the organization.
54
+
55
+ ### [ Import Repository] ( https://labs.w3.org/repo-manager/repo/import )
47
56
48
57
This is the same as "New" but for an existing repo. It will *** never*** overwrite something there so
49
58
it is the user's responsibility to check that the repo is okay once imported.
0 commit comments