The wiki is a usual Git repository while it’s not a Github project.
There are 3 URL associated with it:
- https://github.com/OfflineIMAP/offlineimap/wiki, online HTTP URL for web browsers
- https://github.com/OfflineIMAP/offlineimap.wiki.git, URL to the sources (.git, HTTP protocol) allows
- email@example.com:OfflineIMAP/offlineimap-wiki.git, URL to the sources (.git, Git protocol) allows
So, here is what users can do:
- non Github users:
- change locally
- put it somewhere else
- raw git pull requests
- Github users:
- all the above
- oneline edit
- push to it directly (?)
- team maintainers:
The problem is that users are more used to Github projects, with pull requests available. So, to open the contributions, I made a mirror of the sources.
There are 3 more available URL:
This enable more, especially for the Github users:
- better visibility (a classic Github project is on the projects page)
- Github fork
- Github pull requests
Github users can edit pages online.
With the script (recommended)
If you already have a local copy of the offlineimap repository, run the dedicated script.
You’ll have a local copy of the sources. From there, make a fork of and add a reference to it like this:
What to do next
Push your changes to the last, make pull requests against the mirror.
- origin is the upstream you can fetch from
- myfork is where you push your change to make them public