[systemd-devel] Git development moved to github

[Thomas Meyer]

Hi,

Regarding http://lists.freedesktop.org/archives/systemd-devel/2015-June
/032652.html

"The official development
git repository is now at github [1]. The old repository will still be
back-synced"

Will it?

github HEAD b5a306ef73f9c31499f2d97f8b9d3db514b56a09
fdo HEAD 7ee7b225bd2fc3e7a3980f5fb7b10dfc6e205578

Bug or feature?