Integrating a plug in

Integrating a plug-in into the JCrypTool repository

The following task has to be executed by a JCrypTool Core or Crypto member with write access to our repositories core and crypto. As a plug-in developer, you do not have sufficient rights to do this!

1. Add the other repository

   git remote add -f [remote name] [remote url]

2. Check for success, this list must contain the new remote repository

   git remote

3. Merge

   git merge -s ours --no-commit [remote name]/master

4. Read the tree information into the index (set prefix to a subdirectory in case the repository to integrate does not contain a valid structure)

   git read-tree --prefix= -u [remote name]/master

5. Commit and push alll changes

   git commit -m "Integrated the plug-in"

   git push

6. Remove the added remote repository

   git remote remove [remote name]