[gnutls-devel] GnuTLS | Minor Guile bindings improvements. (!1413)

Read-only notification of GnuTLS library development activities gnutls-devel at lists.gnutls.org
Sat Apr 24 15:51:23 CEST 2021

Daiki Ueno commented on a discussion: https://gitlab.com/gnutls/gnutls/-/merge_requests/1413#note_559572550

@civodul sorry to bother you, but how did you do that? While I see the fixes are in [wip-guile-fixes](https://gitlab.com/civodul/gnutls/-/commits/wip-guile-fixes), the pipeline attached to this MR points to a different commit, which is still failing. Not sure if it might have caused because you closed this MR.

The suggested workflow is to just push with `git push --force-with-lease` without touching the MR state. The CI will then be automatically retriggered.

Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1413#note_559572550
You're receiving this email because of your account on gitlab.com.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20210424/39d9be65/attachment-0001.html>

More information about the Gnutls-devel mailing list