Quira Docs
  • 📃Quira docs
  • For Developers
    • 🛠️Getting set up
      • 1️⃣Sign up with GitHub
      • 2️⃣Set up your profile
      • 3️⃣Embed Quira Widgets to GitHub README
      • ⚙️Account management
    • ⚔️Quests
      • 📦Creator Quests
        • Quest standard rules
      • 📝Solver Quests
        • 🔓Public Solver Quests
        • 🔐Private Solver Quests
      • 💸Getting paid for a Quest
      • ❔FAQ
    • ⭐DevRank
      • How can I earn DevRank?
      • How is DevRank calculated?
      • The PageRank component
      • Robustness
      • How often is DevRank updated?
      • Developer communities
  • For Organisations
    • 👋Welcome
    • Solver Quests
      • 🛠️Setting things up
        • Register your organisation with Quira
        • Add admins to your organisation acount
        • Add funds to your organisation account
        • Install @quest-bot
      • 🤖@quest-bot
        • GitHub workflow
          • Starting a Quest
          • Developer attempting a Quest
          • Developer submits a PR
          • Organisation issues reward
          • Tipping a developer
          • Changing a reward value
          • Aborting a Quest
        • Common errors with @quest-bot
      • 🧙Admin dashboard
        • Navigating the Admin dashboard
        • Creating a new Quest
        • Navigating the Quest dashboard
        • Awarding a quest solver
        • Configuring GitHub Labels
        • Configuring GitHub Assignees
    • Creator Quests
  • Get in touch
    • 📞Contact us
Powered by GitBook
On this page
  1. For Organisations
  2. Solver Quests
  3. @quest-bot

GitHub workflow

Previous@quest-botNextStarting a Quest

Last updated 3 months ago

This page includes the ways organisations and developers interact in a Public Solver Quests workflow directly in a GitHub issue by using comments.

Starting a Quest
Developer attempting a Quest
Developer submits a PR
Organisation issues reward
Tipping a developer
Changing a reward value
Aborting a Quest
🤖