Skip to content
Cyrille Artho edited this page Nov 9, 2018 · 1 revision

Java Pathfinder wiki repository

This repository is a mirror of the wiki contents. By having a separate repository, we can accept pull requests for the documentation, which is something the web interface of github does not offer.

We recommend the following setup with .git/config for this repo:

[core]
	repositoryformatversion = 0
	filemode = true
	bare = false
	logallrefupdates = true
	ignorecase = true
	precomposeunicode = true
[remote "origin"]
	url = [email protected]:javapathfinder/jpf-core.wiki.git
	fetch = +refs/heads/*:refs/remotes/origin/*
	pushurl = [email protected]:javapathfinder/jpf-wiki-sync.git
[branch "master"]
	remote = origin
	merge = refs/heads/master

This setup will ensure that pushes go to this repository; all pushes will be mirrored on the actual wiki page of https://github.com/javapathfinder/jpf-core within a few minutes.

Conversely, pulls will use the wiki of jpf-core, not this repository. This ensures that changes made over the web interface are not lost.

Clone this wiki locally