Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to search
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
CSSUoB
/
TeX-Bot-Py-V2
Public
Notifications
You must be signed in to change notification settings
Fork
11
Star
1
Code
Issues
53
Pull requests
17
Actions
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Security and quality
Insights
Implement defer
- #770
#770
Open
MattyTheHacker
wants to merge 42 commits into
main
CSSUoB/TeX-Bot-Py-V2:main
from
fix-add-to-channel
CSSUoB/TeX-Bot-Py-V2:fix-add-to-channel
Copy head branch name to clipboard
Conversation
Commits
42
(42)
Checks
Files changed
Open
Implement defer
#770
MattyTheHacker
wants to merge 42 commits into
main
CSSUoB/TeX-Bot-Py-V2:main
from
fix-add-to-channel
CSSUoB/TeX-Bot-Py-V2:fix-add-to-channel
Copy head branch name to clipboard
Commits
Commits on May 15, 2026
Implement defer
MattyTheHacker
authored
3246164
View commit details
Copy full SHA for 3246164
Browse repository at this point
Make ephemeral
Show description for da3924b
MattyTheHacker
and
Copilot
authored
da3924b
View commit details
Copy full SHA for da3924b
Browse repository at this point
Make defer call ephemeral in add_users command
Show description for 5afada8
MattyTheHacker
authored
5afada8
View commit details
Copy full SHA for 5afada8
Browse repository at this point
Commits on May 18, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
33372e9
View commit details
Copy full SHA for 33372e9
Browse repository at this point
Commits on May 19, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
c0b7e8d
View commit details
Copy full SHA for c0b7e8d
Browse repository at this point
Commits on May 23, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
e8086a5
View commit details
Copy full SHA for e8086a5
Browse repository at this point
Commits on May 25, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
1abf263
View commit details
Copy full SHA for 1abf263
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
1ca6f22
View commit details
Copy full SHA for 1ca6f22
Browse repository at this point
Commits on May 26, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
cf5c593
View commit details
Copy full SHA for cf5c593
Browse repository at this point
Commits on May 27, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
60b2f15
View commit details
Copy full SHA for 60b2f15
Browse repository at this point
Commits on Jun 3, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
0557b16
View commit details
Copy full SHA for 0557b16
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
390d265
View commit details
Copy full SHA for 390d265
Browse repository at this point
Commits on Jun 4, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
47999b0
View commit details
Copy full SHA for 47999b0
Browse repository at this point
Commits on Jun 7, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
459b46c
View commit details
Copy full SHA for 459b46c
Browse repository at this point
Commits on Jun 8, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
9014f4f
View commit details
Copy full SHA for 9014f4f
Browse repository at this point
Commits on Jun 10, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
2defec6
View commit details
Copy full SHA for 2defec6
Browse repository at this point
Commits on Jun 17, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
cdf5fa8
View commit details
Copy full SHA for cdf5fa8
Browse repository at this point
Commits on Jun 18, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
fb6a615
View commit details
Copy full SHA for fb6a615
Browse repository at this point
Commits on Jun 21, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
6f1026d
View commit details
Copy full SHA for 6f1026d
Browse repository at this point
Commits on Jun 23, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
4906052
View commit details
Copy full SHA for 4906052
Browse repository at this point
Commits on Jun 24, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
561dee4
View commit details
Copy full SHA for 561dee4
Browse repository at this point
Commits on Jun 29, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
904aa6b
View commit details
Copy full SHA for 904aa6b
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
6ee4750
View commit details
Copy full SHA for 6ee4750
Browse repository at this point
Commits on Jun 30, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
ee203f3
View commit details
Copy full SHA for ee203f3
Browse repository at this point
Commits on Jul 1, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
e990d41
View commit details
Copy full SHA for e990d41
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
ee3d464
View commit details
Copy full SHA for ee3d464
Browse repository at this point
Commits on Jul 2, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
974b738
View commit details
Copy full SHA for 974b738
Browse repository at this point
Commits on Jul 3, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
1197ad2
View commit details
Copy full SHA for 1197ad2
Browse repository at this point
Commits on Jul 4, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
744ea44
View commit details
Copy full SHA for 744ea44
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
c13872c
View commit details
Copy full SHA for c13872c
Browse repository at this point
Commits on Jul 5, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
b696409
View commit details
Copy full SHA for b696409
Browse repository at this point
Commits on Jul 10, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
6d8fb40
View commit details
Copy full SHA for 6d8fb40
Browse repository at this point
Commits on Jul 13, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
ee63f3c
View commit details
Copy full SHA for ee63f3c
Browse repository at this point
Commits on Jul 17, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
6e0024f
View commit details
Copy full SHA for 6e0024f
Browse repository at this point
Commits on Jul 20, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
f01619c
View commit details
Copy full SHA for f01619c
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
69187f9
View commit details
Copy full SHA for 69187f9
Browse repository at this point
Commits on Aug 1, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
45b3077
View commit details
Copy full SHA for 45b3077
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
1c30949
View commit details
Copy full SHA for 1c30949
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
6bbe8fc
View commit details
Copy full SHA for 6bbe8fc
Browse repository at this point
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
0b78048
View commit details
Copy full SHA for 0b78048
Browse repository at this point
Commits on Aug 6, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
e7e77cf
View commit details
Copy full SHA for e7e77cf
Browse repository at this point
Commits on Aug 9, 2026
Merge main into fix-add-to-channel
automatic-pr-updater[bot]
authored
45dec10
View commit details
Copy full SHA for 45dec10
Browse repository at this point
You can’t perform that action at this time.
![automatic-pr-updater[bot]](https://avatars.githubusercontent.com/in/1455366?v=4&size=32){kind=avatar}