THIS IS A TEST INSTANCE. ALL YOUR CHANGES WILL BE LOST!!!!
This page outlines guidelines for merging Pull Requests.
NOTE: Due to recently found synchronization issue between GitBox and Github repositories, committers should only use Github repositories for pushing /merging commits.
If you haven't setup Github repository push. Please refer to the general information page.
...