サーバ

pushできず、pullできず。。
nginxが502を返すばかり。

ここを見たら、socketのパスが変わっているとのこと。

upstream gitlab-workhorse {
    server unix:/var/opt/gitlab/gitlab-workhorse/sockets/socket;
}

nginxの設定を修正することで、無事push/pull可能になった。

kotlin

n個の数字（0 .. n-1）から、k個を取る順列。