Added a PRlike function for showing a diff based on a filter, say jiranumber