[arch-dev-public] Push grub2 packages from my staging dir

Hi Can someone push the grub2 packages from my staging dir. I removed them per accident from the repos trying to remove the old grub2 package using db-remove (old package should still be removed manually). I don't have my ssh-key with me so I can't do it myself for the next 10 hours or so. Ronald