Post-pull extension notification

pulltool / pulltool-chrome-app

Source for the Pull Tool Chrome App

MIT License

2 stars 1 forks source link

Post-pull extension notification #11

Open stuartpb opened 8 years ago

stuartpb commented 8 years ago

There can be an array in the config for a pull that lets users specify IDs for another extension to be notified after a pull completes. This would allow rejig to do its extension refresh, without having to code a strong API + UI for it.