[ci skip] Allow .git to be a regular file (#8631)

This commit is contained in:
Amaury Rousseau 2022-12-09 17:33:00 +01:00
parent 7332b8c2c4
commit f4a28408d4

View File

@ -1,6 +1,6 @@
import java.util.Locale
if (!file(".git").isDirectory) {
if (!file(".git").exists()) {
val errorText = """
=====================[ ERROR ]=====================