Post-pull extension notification #11
Description
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.