Skip to content
This repository has been archived by the owner on Feb 1, 2022. It is now read-only.

README: Add section for extending #17

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

roberth
Copy link
Member

@roberth roberth commented Oct 7, 2019

Configuring bors...

TODO

  • make bors set its status
  • make bors status required (github repo master branch settings)
  • require up to date branch (github repo master branch settings)

@roberth roberth requested a review from domenkozar October 7, 2019 11:58
@roberth
Copy link
Member Author

roberth commented Oct 7, 2019

bors try

bors bot added a commit that referenced this pull request Oct 7, 2019
@bors
Copy link

bors bot commented Oct 7, 2019

try

Build succeeded

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant