@@ -1672,6 +1672,7 @@ jobs:
|
1672 | 1672 | git init "$GITHUB_WORKSPACE" |
1673 | 1673 | git -C "$GITHUB_WORKSPACE" config gc.auto 0 |
1674 | 1674 | git -C "$GITHUB_WORKSPACE" remote add origin "https://github.com/${CHECKOUT_REPO}.git" |
| 1675 | + fetch_timeout_seconds=90 |
1675 | 1676 | fetch_checkout_ref() { |
1676 | 1677 | git -C "$GITHUB_WORKSPACE" \ |
1677 | 1678 | -c protocol.version=2 \ |
@@ -1680,7 +1681,7 @@ jobs:
|
1680 | 1681 | local fetch_pid="$!" |
1681 | 1682 | local elapsed=0 |
1682 | 1683 | while kill -0 "$fetch_pid" 2>/dev/null; do |
1683 | | - if [ "$elapsed" -ge 30 ]; then |
| 1684 | + if [ "$elapsed" -ge "$fetch_timeout_seconds" ]; then |
1684 | 1685 | kill -TERM "$fetch_pid" 2>/dev/null || true |
1685 | 1686 | sleep 10 |
1686 | 1687 | kill -KILL "$fetch_pid" 2>/dev/null || true |
@@ -1792,6 +1793,7 @@ jobs:
|
1792 | 1793 | git init "$GITHUB_WORKSPACE" |
1793 | 1794 | git -C "$GITHUB_WORKSPACE" config gc.auto 0 |
1794 | 1795 | git -C "$GITHUB_WORKSPACE" remote add origin "https://github.com/${CHECKOUT_REPO}.git" |
| 1796 | + fetch_timeout_seconds=90 |
1795 | 1797 | fetch_checkout_ref() { |
1796 | 1798 | git -C "$GITHUB_WORKSPACE" \ |
1797 | 1799 | -c protocol.version=2 \ |
@@ -1800,7 +1802,7 @@ jobs:
|
1800 | 1802 | local fetch_pid="$!" |
1801 | 1803 | local elapsed=0 |
1802 | 1804 | while kill -0 "$fetch_pid" 2>/dev/null; do |
1803 | | - if [ "$elapsed" -ge 30 ]; then |
| 1805 | + if [ "$elapsed" -ge "$fetch_timeout_seconds" ]; then |
1804 | 1806 | kill -TERM "$fetch_pid" 2>/dev/null || true |
1805 | 1807 | sleep 10 |
1806 | 1808 | kill -KILL "$fetch_pid" 2>/dev/null || true |
@@ -1858,6 +1860,7 @@ jobs:
|
1858 | 1860 | git init "$GITHUB_WORKSPACE" |
1859 | 1861 | git -C "$GITHUB_WORKSPACE" config gc.auto 0 |
1860 | 1862 | git -C "$GITHUB_WORKSPACE" remote add origin "https://github.com/${CHECKOUT_REPO}.git" |
| 1863 | + fetch_timeout_seconds=90 |
1861 | 1864 | fetch_checkout_ref() { |
1862 | 1865 | git -C "$GITHUB_WORKSPACE" \ |
1863 | 1866 | -c protocol.version=2 \ |
@@ -1866,7 +1869,7 @@ jobs:
|
1866 | 1869 | local fetch_pid="$!" |
1867 | 1870 | local elapsed=0 |
1868 | 1871 | while kill -0 "$fetch_pid" 2>/dev/null; do |
1869 | | - if [ "$elapsed" -ge 30 ]; then |
| 1872 | + if [ "$elapsed" -ge "$fetch_timeout_seconds" ]; then |
1870 | 1873 | kill -TERM "$fetch_pid" 2>/dev/null || true |
1871 | 1874 | sleep 10 |
1872 | 1875 | kill -KILL "$fetch_pid" 2>/dev/null || true |
|