glob.translate incorrectly treats ***

Bug report

Bug description:

While I could not find relevant manpage or other Unix standard, gitignore states:

Two consecutive asterisks ("**") in patterns matched against full pathname may have special meaning:

A leading "**" followed by a slash means match in all directories. For example, "**/foo" matches file or directory "foo" anywhere, the same as pattern "foo". "**/foo/bar" matches file or directory "bar" anywhere that is directly under directory "foo".

A trailing "/**" matches everything inside. For example, "abc/**" matches all files inside directory "abc", relative to the location of the .gitignore file, with infinite depth.

A slash followed by two consecutive asterisks then a slash matches zero or more directories. For example, "a/**/b" matches "a/b", "a/x/b", "a/x/y/b" and so on.

Other consecutive asterisks are considered regular asterisks and will match according to the previous rules.

My understanding of the last sentence is that a triple asterisk *** (and any longer) should be treated exactly the same as a single one *, but it is not the case. While close, and definitely neither a double asterisk nor a naive repetition of a single one, it has an incorrect quantifier. It is likely caused because the first * is neither surrounded by path separators, nor by string begin/end.

import glob;
print(glob.translate('*', include_hidden=True, recursive=True))
print(glob.translate('***', include_hidden=True, recursive=True))

Expected behavior:

(?s:[^/]+)\Z
(?s:[^/]+)\Z

Actual behavior:

(?s:[^/]+)\Z
(?s:[^/]*)\Z

CPython versions tested on:

3.13

Operating systems tested on:

Linux

首先运行提供的 glob.translate 示例并检查 glob.translate 入口点。比较递归匹配下对 '' 和 '**' 的处理，然后为预期相同的正则表达式添加覆盖，并在 Python 3.13 上验证所报告的行为。