Bug: Cannot save to copy to my GitHub username's account "lloydchang" because of truncation at "j"

[lloydchang]

Describe the current behavior

Bug: Cannot save to copy to my GitHub username's account "lloydchang" because of truncation at "j"

• "Save a copy to GitHub" interface lacks search and pagination. The repository list is sorted lexicographically but truncates at "j." As a result, I cannot access repositories under my GitHub username lloydchang, which starts with "l."

Describe the expected behavior

The repository list should:

• Include all repositories without truncation, or
• Provide search and/or pagination to locate repositories further down the list.

What web browser are you using?

Chrome

Additional context

• Example notebook: Colab Notebook Link
• GitHub username: lloydchang
• Screenshots attached: