Holopin GitHub bot

A Holopin integration for GitHub, allowing Holopin organizations to easily reward badges in Issues, PRs and Discussions

Example use cases:

• Rewarding contributors
• Recognizing helpers
• Welcoming new members
• Encouraging good practices, eg. rewarding comprehensive bug reports, error stack traces, fully scoped out feature suggestions

Please note that this bot requires you to have an organization on Holopin.

Repo maintainer(s) need to members of the Holopin organization whose stickers they are issuing. Issuers should also have their personal Holopin accounts linked with GitHub. You can manage your Third party connections in your Account settings.

Create a .github/holopin.yml file:

organization: # org name on holopin
defaultSticker: # sticker ID
stickers:
  -
    id: # sticker id
    alias: # shorthand-string
  -
   id:
   alias: 

Usage

1) Tag in conversation

Issue the default badge by tagging @holopin-bot @username in conversation, or by alias @holopin-bot @username sticker-alias

2) Issue labels

Bot is called out upon labelling the issue with the label that corresponds to a sticker alias in your holopin.yaml.