ah ok, no. that is the command you ported from the github-cli. i guess it makes sense that i drop that repository, its really superseded by this one.

we might improve the code at some point, i guess there is quite some duplication here with the github synchronizer. also, the dashboard synchronize command simply ignores the repository parameters - both commands could use that argument to use something different than the system configuration (though for elastic search populating, we first need to be able to update rather than rebuild, or it makes not much sense).