Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Apr 25, 2024

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

SpEcHiDe and others added 6 commits April 25, 2024 16:30
set_bot_name
get_bot_name
set_bot_info_description
get_bot_info_description
set_bot_info_short_description
get_bot_info_short_description
@pull pull bot added ⤵️ pull merge-conflict Resolve conflicts manually labels Apr 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

⤵️ pull merge-conflict Resolve conflicts manually

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants