[ci skip] Allow .git to be a regular file (#8631)
This commit is contained in:
parent
f6ffbc2720
commit
0baf2ff1b9
1 changed files with 1 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
||||||
import java.util.Locale
|
import java.util.Locale
|
||||||
|
|
||||||
if (!file(".git").isDirectory) {
|
if (!file(".git").exists()) {
|
||||||
val errorText = """
|
val errorText = """
|
||||||
|
|
||||||
=====================[ ERROR ]=====================
|
=====================[ ERROR ]=====================
|
||||||
|
|
Loading…
Reference in a new issue