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. git remote add -f [remote name] [remote url]
2. Check with git remote for success, list must contain the new remote repository
3. git merge -s ours --no-commit [remote name]/master
4. git read-tree --prefix= -u [remote name]/master
5. git commit -m "message"
6. git push
7. git remote remove [remote name]