In the old tracker the search field would also search for the pull ID, now it only searches the Joomlacode issue ID. It would be better to search on both as we often look for the pull ID.
An example is searching for pull ID 3362, it only shows Joomlacode issue IDs with this combination in it.
I see now what the difference is between the old and current dev of patchtester. The old patchtester has search field for Pull ID and a search field for Title. Can't we just keep those?
It is clear for users what they are searching for and the Joomlacode issue ID will be removed also once we drop the Joomlacode tracker. Having to use id: is not very userfriendly in my opinion.
So my preference would be to keep the search filters as they are now.
Part of what I was aiming for was standardizing the interface on the "CMS standard" which is why I consolidated the search filters into one field.
I've changed the search behavior so that it'll return matches to the pull request title, pull request ID, or JoomlaCode ID without any identifiers.
Tested the change and it works perfect this way
With the current dev head, the search filter works in two ways:
id:
searches based on the pull IDWhat do you suggest?