-
Notifications
You must be signed in to change notification settings - Fork 388
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix merge bot to use ref for merged PR (#6417)
ghstack-source-id: 420c6810c526668f6fde2d640a4a3d62caf9cde3 Pull Request resolved: #6416 Co-authored-by: Hansong Zhang <[email protected]>
- Loading branch information
1 parent
54acd38
commit 01d8783
Showing
2 changed files
with
13 additions
and
9 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters