Closed tttao7 closed 1 year ago
Build succeeded!
The publicly hosted instance of bors-ng is deprecated and will go away soon.
If you want to self-host your own instance, instructions are here. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
其实不用删分支(乃至删库)的,你
git push -f
就行了,现在提一个新 PR 不方便看 review comments。这次内容不多,还好,后续做其他开源贡献时候也可以稍微注意下~总之感谢贡献!
bors r+
因为强制push之后 这边没有回复 还以为不允许强制push
变更如下: