Skip to content

Undo last attempt at fixing checkout#18

Merged
osterman merged 1 commit into
mainfrom
fix-checkout
Mar 1, 2024
Merged

Undo last attempt at fixing checkout#18
osterman merged 1 commit into
mainfrom
fix-checkout

Conversation

@osterman
Copy link
Copy Markdown
Contributor

@osterman osterman commented Mar 1, 2024

what

  • Remove flags that caused error
    fatal: could not read Username for 'https://github.com': No such device or address

why

  • Using --force-with-lease should probably all that's needed to get this to work

relates to

@osterman osterman merged commit 60d884b into main Mar 1, 2024
@osterman osterman deleted the fix-checkout branch March 1, 2024 02:44
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