Contact Information¶
👥 GitHub Tech Managers¶
Primary contact for all GitHub-related matters
- dvellanki@ufl.edu
- ziyuan.guan@ufl.edu
- ahmed.soliman@ufl.edu
Responsibilities¶
- Rules and policy management
- Access requests and removal
- Security incidents and concerns
- GitHub Actions and automation
- Routine security checks
- Technical support for GitHub issues
- Governance questions
- Data classification guidance
Response Time¶
1-2 business days
🏢 Administration & Billing¶
- coracricket@ufl.edu
- aantone@ufl.edu
Responsibilities¶
- Account billing and organizational administration
- General administrative support
Business Hours¶
Monday-Friday, 8am-5pm
📞 Who to Contact When¶
Technical Issues¶
- Repository problems → GitHub Tech Managers
- Access and permissions → GitHub Tech Managers
- GitHub Actions errors → GitHub Tech Managers
- Security concerns → GitHub Tech Managers
Policy Questions¶
- Data classification → GitHub Tech Managers
- What can I upload? → GitHub Tech Managers
- Access approval → GitHub Tech Managers
- Rule clarification → GitHub Tech Managers
Administrative¶
- Account billing → Administration team
- Organizational setup → Administration team
Emergencies¶
- Security incidents → GitHub Tech Managers (immediate)
- Accidentally committed secrets → GitHub Tech Managers (immediate)
- Data breaches → GitHub Tech Managers + your supervisor
📧 How to Contact¶
Email Guidelines¶
- Subject line: Be specific (e.g., "GitHub access request for [project name]")
- Include details: Your GitHub username, repository name, what you tried
- Attach screenshots if relevant
- CC your supervisor for access requests or policy questions
Expected Response¶
- Technical/Policy issues: 1-2 business days
- Administrative: Same day during business hours
- Security incidents: Immediate response during business hours
🚨 Emergency Procedures¶
If You Accidentally Commit Secrets¶
- Don't delete the file - Git history preserves everything
- Contact GitHub Tech Managers immediately
- Change the exposed secret/password
- Wait for cleanup instructions
If You're Locked Out¶
- Try troubleshooting steps in our troubleshooting guide
- Contact GitHub Tech Managers with your GitHub username
- Include error messages and what you were trying to do
If You Need Urgent Access¶
- Contact GitHub Tech Managers with justification
- CC your supervisor to approve urgent request
- Specify deadline and business impact
Last Updated: November 2024