I'd like us to have some official statement about the torproject/tor GitHub repository before putting these instructions anywhere official.
(I should probably draft one and have isis and other interested people review it, assuming we actually got the group account ownership transferred as planned.)
Do we want to recommend travis-ci.com instead of travis-ci.org for people who are new to Travis? It seems like Travis is recommending travis-ci.com for new users.
It should probably specify that #tor-ci is on the OFTC IRC network.
I think we should have a page somewhere that shows the current team rotations. Here, I could write "if it doesn't work, ask #tor-dev or the current CI or community whatever member at .".
Good point about specifying the network.
I think this doesn't need a changes file per CodingStandards.md, since nobody will wonder "why did we add the documentation to use Travis". maybe "why did we use Travis", but not why document it.