Skip to content
This repository has been archived by the owner on Jun 21, 2019. It is now read-only.

teacher-bot/check-path

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Add issue openers as collaborators

This Probot plugin automatically reminds users to delete their branch after the merge or close a pull request. It can be used by itself, or as part of a collection of plugins called Teacherbot.

But why?

Perhaps you maintain a project with many contributors and you'd like to keep stale branches from piling up, or you want your users to automatically become collaborators as part of a tutorial or self-paced course. The possibilities are endless.

Features

  • Responds to pull requests that are closed without merging.
  • Responds to recently merged pull requests.
  • Allows for customized responses.

Get Started

  1. Install this app
  2. You're done! But you can also customize the responses.

Configuring Customized Responses

You can use the default responses, but if you'd like to specify your own:

  • If you're using this plugin as part of Teacherbot: create a file inside a .github folder, named teacherbot.yml and include the text below.
  • If you're using this plugin standalone: create a file inside a .github folder, named remind-merge.yml and include the text below.
remindMerge:
  merged: ":wave: hiya Please remember to delete your branch after merging or closing if you haven't done so already.",
  unmerged: "It looks like you closed this Pull Request without merging. If you need any help, just ask!"

Running your own instance of this app

See docs/deploy.md if you would like to run your own instance of this plugin.

Getting Help and Contributing

Just open a new issue in this repo if you find a bug, have a suggestion, or would like to chat about contributing. We also welcome pull requests.

Made with ❤️ by :octocat:s and friends

This Probot plugin is made by the friendly :octocat:s from GitHub Professional Services with help from the open source community. This plugin is used during the training engagements that we provide.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published