Skip to content

More help text for repository moved case#296

Merged
ezyang merged 1 commit intomasterfrom
gh/ezyang/31/head
Jun 6, 2025
Merged

More help text for repository moved case#296
ezyang merged 1 commit intomasterfrom
gh/ezyang/31/head

Conversation

@ezyang
Copy link
Copy Markdown
Owner

@ezyang ezyang commented Jun 6, 2025

Signed-off-by: Edward Z. Yang ezyang@meta.com

[ghstack-poisoned]
@ezyang
Copy link
Copy Markdown
Owner Author

ezyang commented Jun 6, 2025

Stack from ghstack (oldest at bottom):

ezyang added a commit that referenced this pull request Jun 6, 2025
Signed-off-by: Edward Z. Yang <ezyang@meta.com>
ghstack-source-id: c5cbcb0
ghstack-comment-id: 2947978067
Pull-Request: #296
@ezyang ezyang enabled auto-merge (squash) June 6, 2025 03:40
@ezyang ezyang merged commit 8be1391 into master Jun 6, 2025
16 checks passed
@ezyang ezyang deleted the gh/ezyang/31/head branch June 6, 2025 03:43
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