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

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

git commit -m "message"

git push

git remote remove [remote name]