Update proceedings Git repository location