в чем разница между фильтрами git в интерфейсе пользователя и командой git rev-list

Question

Я пытаюсь проанализировать количество коммитов, выполненных в моей главной ветке.Я нашел два способа: один - применить фильтры к git UI, а другой - через git CLI.Я получил разные результаты обеих команд.Выходы:

ON UI-
is:pr is:merged merged:>=2018-05-20

Я получил вывод как 81 Всего.И когда я пытаюсь получить вывод через CLI, используя следующую команду-

Использование git CLI-
git rev-list --count HEAD --since="Sep 05 2018"

o / p is- 230 всего.

Насколько я понимаю, обе эти команды должны выдавать один и тот же результат.Или есть какая-то разница между ними ??
Примечание: - Прямой коммит на мастер не допускается.

Answer 1

rev-list имеет целую кучу опций фильтрации, одна из которых:

--merges
    Print only merge commits. This is exactly the same as --min-parents=2.

Я думаю, это то, что применимо is:merged.

---

note : не забывайте 's', --merge также существует и вообще не делает того же:

--merge
    After a failed merge, show refs that touch files having a conflict and
    don’t exist on all heads to merge.

---

Подумайте об этом: запросы на получение github не представлены в git repo, я думаю, что is:pr перечислил бы их;в этом случае is:merged может также фильтровать на основе флага в базе данных github, и это не будет чем-то, что вы могли бы легко проверить с помощью git rev-list.

Среди ваших слияний git вы видите такие, которые явно несоответствовать пиару?