3.12. Maintenance

[ This and related posts are mainly intended for the developers that maintain the development repository ]

The maintenance instructions assume that the public and private repositories are checkout side-by-side, and are called dispatch/{private,public}. Other arrangements are handled correspondingly.

It is a good idea to add a local working copy of the private bitbucket repository as upstream, rather than the bitbucket repository itself – this reduces noise from the commits that would otherwise be needed.

• 3.12.1. 4public branch
• 3.12.2. Common files
• 3.12.3. Pulling updates
• 3.12.4. Pushing updates