Closed sebastiaan-daniels closed 8 months ago
This PR fixes (I think?) the issue where the bot does not fetch the origin when displaying whether it is up to date or not.
This PR fixes (I think?) the issue where the bot does not fetch the origin when displaying whether it is up to date or not.