propensive / fury-old

A new build tool for JVM languages

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Cannot unfork a repo if the fork destination has been deleted

odisseus opened this issue · comments

Steps to reproduce:

  1. Fork any repo into a local directory.
  2. Remove the directory created by the previous step.
  3. Unfork the repo that was forked in step 1.

Expected behaviour: repo is unforked
Actual behaviour: An error occurs during a Git operation

% fury repo unfork -r java-cid
An error occurred while running: git -C ~/devel/java-cid rev-parse HEAD
fatal: cannot change to '~/devel/java-cid': No such file or directory