Skip to content

Add Github Functionality #166

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 10 commits into from
Apr 18, 2024
Merged

Add Github Functionality #166

merged 10 commits into from
Apr 18, 2024

Conversation

FluxC0
Copy link
Contributor

@FluxC0 FluxC0 commented Apr 14, 2024

Adding a few commands that allow a select few roles to mess around with github functionality, like issues and pull requests. This pull request was sent via Tux.

@FluxC0 FluxC0 requested review from kzndotsh and electron271 April 14, 2024 13:51
@FluxC0 FluxC0 self-assigned this Apr 14, 2024
…t accidental commit of private keys

refactor(pyproject.toml): replace pygithub with githubkit for better GitHub App authentication support
…on with GitHub API

refactor(constants.py): rename BOT_SOURCE to GITHUB_REPO_URL for better clarity
fix(constants.py): add base64 decoding for GITHUB_PRIVATE_KEY_BASE64 to ensure correct format for private key
refactor(ghub.py): improve error handling and code readability by extracting common code into helper functions

feat: add create, get, and comment commands to GitHub bot
- The create command allows users to create a pull request in a specified repository.
- The get command retrieves a specific pull request from a repository.
- The comment command allows users to comment on a specific pull request in a repository.
These changes were made to enhance the functionality of the GitHub bot.

chore(ghub.py): remove ghub.py file as it is no longer needed in the project
…erations

This new class provides methods for interacting with GitHub, including fetching repositories, creating issues, creating issue comments, closing issues, fetching issues, fetching open issues, fetching closed issues, fetching open pull requests, fetching closed pull requests, and fetching specific pull requests. This will allow for more streamlined and centralized handling of GitHub operations within the application.
…ith GitHub

This new cog includes commands for fetching repository info, creating and managing issues, and managing pull requests. This will allow users with certain roles to interact with the GitHub API directly from Discord.
@kzndotsh kzndotsh merged commit 83e2c6d into main Apr 18, 2024
@kzndotsh kzndotsh deleted the githubapi branch April 18, 2024 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants