ローカルコピーからGitを復元する

バックアップを忘れたときに失われたGitリポジトリがありました。私たちの1人がこれが起こる直前にプルを行ったため、最新のコードを持っています。ソースのローカルコピーからGitリポジトリを再構築することは可能ですか？どうやって？

ローカルコピーはそれ自体がGitリポジトリであり、コミット履歴全体を含みます（ただしmasterブランチのみ）。古い場所（git init --bare whatever.git）に空のリポジトリを作成git pushし、ローカルコピーから実行するだけで十分です。