Working with Git repositories
Wandora application supports small subset of Git commands. Wikipedia describes Git as a version control system for tracking changes in computer files and coordinating work on those files among multiple people. It is primarily used for source code management in software development, but it can be used to keep track of changes in any set of files. As a distributed revision control system it is aimed at speed, data integrity, and support for distributed, non-linear workflows. Wandora's Git support allows the user to
- Clone remote repository and optionally open cloned repository as a Wandora project.
- Initialize local repository and save current project into the initialized repository.
- Save current project into a local repository and commit changes.
- Save current project into a local repository and both commit and push changes to a remote repository.
- Pull changes from remote repository and reopen current project in Wandora.
Next chapters focus each of these Git commands separately. Git commands locate under menu File > Git.
Clone remote repository
Cloning a remote repository is perhaps the most common method to start working with a Git repository. Cloning copies remote repository to user's computer into a user defined directory. Wandora assumes the cloned repository contains a Wandora project including options.xml and layer folders, each containing one topic map file or topic map specification file. It should be noted that Wandora doesn't limit repository content. The repository may contain many extra files and folders. Wandora doesn't see or care about these extra files and folders. Cloning a remote Git project starts with a menu option File > Git > Initialize by cloning a remote repository.... The menu option opens a dialog window as shown below.