Translation updates to GitHub based extensions still working?
I wonder if it is still working since the last updates happend 11 days ago, e.g. my changes to German translation the SimpleBatchUpload extension did not make it to the repo yet. Also the last update for Semantic MediaWiki happened 11 day ago, whereas we usually got two update rounds a week.
If there is something wrong or something to be fixed in repo management to make it work again, please inform accordingly.