Skip to content

[fix] Push to refs/heads if needed#284

Closed
ezyang wants to merge 1 commit intomasterfrom
gh/ezyang/27/head
Closed

[fix] Push to refs/heads if needed#284
ezyang wants to merge 1 commit intomasterfrom
gh/ezyang/27/head

Conversation

@ezyang
Copy link
Copy Markdown
Owner

@ezyang ezyang commented Apr 18, 2025

Signed-off-by: Edward Z. Yang ezyang@mit.edu

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

ezyang commented Apr 18, 2025 •
edited
Loading

Stack from ghstack (oldest at bottom):

ezyang added a commit that referenced this pull request Apr 18, 2025
@ezyang
[fix] Push to refs/heads if needed
1151e24 
Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
ghstack-source-id: 3e769b2
ghstack-comment-id: 2816313911
Pull-Request-resolved: #284
@ezyang ezyang closed this in 1ae9f17 Apr 18, 2025
@ezyang ezyang deleted the gh/ezyang/27/head branch April 18, 2025 22:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ezyang