Closed mads-hartmann closed 11 years ago
What is the preferred way push my new changes? Amend the commit and push with -f or a new commit to the branch?
Create an additional commit and push it. I'll review and give you my +1. Then you can amend the commit and force push. Finally, I merge it :)
This is ready for review :)
Alright, this should be ready to get merged :)
By using the proper Eclipse extension point I've hooked our own custom search result page into the search results view. The view doesn't do anything and only contains "fake" implementations of the methods necessary to make the compiler happy.
When we're able to execute queries and actually produce proper search results we can finish the implementations.
This fixes #4