[pull] master from git:master - #112

Merged

pull[bot] merged 11 commits into

turkdevops:masterfrom

Oct 11, 2025

Commits on Oct 2, 2025

gitlab-ci: dedup instructions to disable realtime monitoring

pks-t
authored and
gitster
committed
5c2ebf6
gitlab-ci: ignore failures to disable realtime monitoring

pks-t
authored and
gitster
committed
e90f6b2
gitlab-ci: drop workaround for Python certificate store on Windows

pks-t
authored and
gitster
committed
82ad27e
gitlab-ci: upload Meson test logs as JUnit reports

pks-t
authored and
gitster
committed
0e98965
t8020: fix test failure due to indeterministic tag sorting

pks-t
authored and
gitster
committed
3c4925c

Commits on Oct 3, 2025

doc: add some missing technical documents

ramsay-jones
authored and
gitster
committed
5275100
Documentation/git-merge-tree.adoc: clarify the --merge-base option

newren
authored and
gitster
committed
1c573a3

Commits on Oct 10, 2025