As a user
I want a search bar
So that I can search for certain comments or commits.
Acceptance Criteria:
Scenario 1:
Given a problem where I want to find a comment
and I don't know anymore under which commit it was submitted
when I know a certain word that was in that comment
then I want to be able to look it up in the search bar
and have a list of commits with the word in the title or in one of its comments.
Scenario 2:
Given a problem where I want to know when I committed something
and there are too many commits to manually search through
when I know what the (partial) title was of the commit
then I want to be able to look it up in the search bar
and have a list of commits with the word in the title or in one of its comments.
As requested on Slack