Page History

...

1. First, merge any PR(s) that you want to deploy to REST API demo
2. Next, merge/sync those changes over to the rest-demo branch. For example:
   1. git checkout master
   2. git pull
   3. git checkout rest-demo
   4. git merge master
3. Then, push those changes back up to the rest-demo branch in GitHub
   
   1. git push upstream rest-demo
4. At this point, 4Science's Jenkins system should detect the new changes. Jenkins will report on the #rest-api channel in Slack that it is redeploying (NOTE: It may take 5 minutes or so for the Jenkin's system to detect the changes and report on Slack)
5. Wait for about 5 minutes, and Jenkins will report deployment success/failure on the #rest-api channel in Slack
6. Assuming Jenkins reported success, the demo REST API should be updated! Test it out: https://dspace7.4science.it/dspace-spring-rest/