6.8 KiB
📚 Anny Booking Automation
This Python project automates booking of study spaces or resources via the anny.eu platform used by university library systems. It logs in automatically using SAML SSO (with pluggable provider support), searches for available slots, and makes bookings without user interaction — ideal for recurring reservations.
⚙️ Features
- 🔐 Pluggable SSO providers (KIT included, easily extendable for other universities)
- 📆 Configurable 3-days-ahead reservation window
- 🔎 Auto-detection of available time slots
- ⏳ Smart midnight wait: only waits if within 10 minutes of midnight, otherwise executes immediately
- 🛠️ Clean and modular object-oriented codebase
- 🔁 Fully automated execution using cron-job.org + GitHub API
- 📦 Easy to extend and maintain
🗂️ Project Structure
anny_booking/
├── .env # Credentials (excluded from version control)
├── main.py # Entry point for script execution
├── requirements.txt # Python dependencies
│
├── auth/
│ ├── session.py # AnnySession class (login logic)
│ └── providers/ # SSO provider implementations
│ ├── __init__.py # Provider registry
│ ├── base.py # Abstract base class for providers
│ └── kit.py # KIT (Karlsruhe) SSO provider
│
├── booking/
│ └── client.py # BookingClient class (resource booking)
│
├── config/
│ └── constants.py # API URLs, timezone, SSO provider, and shared constants
│
├── utils/
│ └── helpers.py # Utility functions
│
└── .github/
└── workflows/
└── schedule.yml # GitHub Actions workflow (manual trigger)
🚀 Setup & Installation
1. Clone the repository
git clone https://github.com/your-username/anny-booking-automation.git
cd anny-booking-automation
2. Set up a Python virtual environment
python3 -m venv venv
source venv/bin/activate
pip install -r requirements.txt
3. Configure environment variables
Create a .env file in the root of the project:
USERNAME=your_kit_username
PASSWORD=your_kit_password
🔒 Never commit this file to version control!
4. Configure SSO provider
In config/constants.py, set your SSO provider:
SSO_PROVIDER = "kit" # Available: kit (add more in auth/providers/)
🔌 Adding a New SSO Provider
To add support for another university (e.g., TUM), create a new file auth/providers/tum.py:
from auth.providers.base import SSOProvider
from utils.helpers import extract_html_value
class TUMProvider(SSOProvider):
name = "TUM"
domain = "tum.de"
def authenticate(self) -> str:
# Implement TUM-specific SAML authentication
# Use self.session, self.redirect_response, self.username, self.password
# Return the HTML containing the SAMLResponse
pass
Then register it in auth/providers/__init__.py:
from auth.providers.tum import TUMProvider
PROVIDERS: dict[str, type[SSOProvider]] = {
"kit": KITProvider,
"tum": TUMProvider,
}
⏱️ Automated Execution via cron-job.org + GitHub API
To maximize booking success, the script is triggered two minutes before midnight (e.g., 23:58).
It logs in to the KIT SAML SSO in advance, keeps the session alive, and waits internally until exactly 00:00 to instantly book the best available slot as soon as new reservations open.
The trigger is handled by:
cron-job.orgfor precise scheduling (e.g., 23:58 Europe/Berlin)- GitHub Actions to run the actual script with credentials passed via GitHub Secrets
Why not just use on: schedule?
GitHub Actions only supports fixed cron expressions (e.g., once per hour) and does not allow more frequent triggers like every 5 or 10 minutes.
Additionally, it suffers from two major issues:
- ⏳ Queue delay: Workflows triggered via GitHub's
scheduleevent are sometimes delayed by several minutes due to internal queue congestion. This can cause the booking script to miss the optimal reservation window. - 🕒 Timezone limitations: GitHub's cron system uses UTC without native timezone support. That means you need to manually convert your desired local time (e.g. Europe/Berlin) and keep adjusting for daylight saving time changes.
For these reasons, we use cron-job.org, which offers:
- ✅ Precise minute-level scheduling
- ✅ Native timezone selection (e.g. Europe/Berlin)
- ✅ Immediate webhook execution with no delay
This ensures your booking script runs exactly when needed — already logged in and ready to act at 00:00.
How it works
cron-job.orgtriggers the GitHub Actions workflow at 23:58 (Europe/Berlin).- The script logs in via your configured SSO provider and maintains an active session.
- If within 10 minutes of midnight, it waits until 00:00. Otherwise, it executes immediately (useful for testing or manual runs).
- As soon as new booking slots are released, it instantly reserves the first suitable slot.
Setup steps
- Set up a cron job on
cron-job.orgthat sends a POST request to:
https://api.github.com/repos/your-username/anny-booking-automation/actions/workflows/schedule.yml/dispatches
- Include the following JSON payload:
{"ref": "main"}
- Add this header:
Authorization: Bearer YOUR_GITHUB_PERSONAL_ACCESS_TOKEN
Content-Type: application/json
Accept: application/vnd.github.v3+json
- Your GitHub workflow (
.github/workflows/schedule.yml) listens for this event:
name: Daily Library Reservation Automation
on:
workflow_dispatch:
jobs:
run-script:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: '3.x'
- name: Install dependencies
run: |
pip install -r requirements.txt
- name: Run script
env:
USERNAME: ${{ secrets.USERNAME }}
PASSWORD: ${{ secrets.PASSWORD }}
run: |
python main.py
💡 Store your university credentials securely as GitHub Secrets:
USERNAMEandPASSWORD.
🤝 Contributing
Pull requests are welcome! Feel free to open an issue or suggest features or improvements.