Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

7. Design Upgrade of Label Bot 

The label bot design currently supports a pull model which gathers issues every 5 minutes and then appropriately labels them, however it would be more efficient to move to a push model where we label an issue when it is pushed.