<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<div>
<blockquote dir="auto">
<p>What can we do to address it?</p>
</blockquote>
<p dir="auto">Basically what I wrote in <a href="https://gitlab.com/gnutls/gnutls/issues/547" data-original="#547" data-link="false" data-link-reference="false" data-project="179611" data-issue="13498084" data-reference-type="issue" data-container="body" data-placement="bottom" title="bootstrap fails often due to savannah" class="gfm gfm-issue has-tooltip">#547</a>.</p>
<ul dir="auto">
<li>do not use --no-git</li>
<li>
<code>cp -a $GNULIB_SRCDIR ./gnulib</code> before ./bootstrap</li>
</ul>
<p dir="auto">If $GNULIB_SRCDIR is recent enough (age >= that of the last gnulib commit in the GnuTLS project dir), upstream is not contacted and everything is smooth. <code>./bootstrap</code> checks out the right commit locally.</p>
<p dir="auto">If $GNULIB_SRCDIR is too old, <code>./bootstrap</code> pulls from upstream (better: your mirror repo). If that fails, you still can re-generate the CI images and restart the failed runners.</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/merge_requests/737#note_95797332">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/sent_notifications/a714a70397e4b25fcc1396002295489c/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Merge request","url":"https://gitlab.com/gnutls/gnutls/merge_requests/737#note_95797332"}}</script>
</p>
</div>
</body>
</html>