build: gitpull now also updates the feeds in 'feeds.conf.default'