[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...
More information about the Gnutls-devel