Skip to content

ci: fix git push auth with long GITHUB_TOKEN - #62

Merged
ivila merged 1 commit into
masterfrom
ci/fix-github-token-auth
Oct 30, 2026
Merged

ivila merged 1 commit into
masterfrom
ci/fix-github-token-auth

Conversation

@ivila

@ivila ivila commented Oct 30, 2026

Copy link
Copy Markdown
Contributor

GITHUB_TOKEN now uses a new format that is about 377 characters long. Both deployment jobs encode it with plain base64, whose output is wrapped at 76 columns. The newlines embedded in the http.extraheader value make the header malformed, so GitHub resets the request and the push fails with:

fatal: unable to access 'https://github.com/apache/teaclave-website.git/':
HTTP/2 stream 1 was not closed cleanly before end of the underlying stream

Encode the credentials with base64 -w0 so that they stay on a single line. While at it, use printf instead of echo -n, as the former does not interpret escape sequences.

GITHUB_TOKEN now uses a new format that is about 377 characters long.
Both deployment jobs encode it with plain base64, whose output is
wrapped at 76 columns.  The newlines embedded in the http.extraheader
value make the header malformed, so GitHub resets the request and the
push fails with:

    fatal: unable to access 'https://github.com/apache/teaclave-website.git/':
    HTTP/2 stream 1 was not closed cleanly before end of the underlying stream

Encode the credentials with base64 -w0 so that they stay on a single
line.  While at it, use printf instead of echo -n, as the former does
not interpret escape sequences.
@ivila
ivila merged commit e493cb4 into master Oct 30, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant