search

sympy / sympy-bot

GitHub bot for SymPy
https://github.com/sympy-bot
Other
22 stars 11 forks source link

SymPy bot error in merging release notes #94

Closed sylee957 closed 3 years ago

sylee957 commented 3 years ago

SymPy bot gives error in https://github.com/sympy/sympy/pull/20734

The PR that I have merged was https://github.com/sympy/sympy/pull/20738 which had correct release notes, but https://github.com/sympy/sympy/pull/20734 was also merged automatically which had bad release notes.

asmeurer commented 3 years ago

Ah yes, this is a known issue https://github.com/sympy/sympy-bot/issues/56. You can ignore the error.