diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-05-20 09:28:22 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-05-20 09:28:22 -0400 |
| commit | 24e789a2ac981b3d4b2dfaf1af359c4407587a00 (patch) | |
| tree | e676038cd69b8ff91efc3b7b5a85e63aad5214d4 /doc/todo/initial_spin_compile_failure_recovery.mdwn | |
| parent | d499d8d668fa8ec32833edb4b7a5677dcbf75c56 (diff) | |
| parent | 3dd36f7e922b0dfdde54420a931e77fd02e6b83c (diff) | |
Merge branch 'joeyconfig' of ssh://propellor.branchable.com into joeyconfig
Diffstat (limited to 'doc/todo/initial_spin_compile_failure_recovery.mdwn')
| -rw-r--r-- | doc/todo/initial_spin_compile_failure_recovery.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/todo/initial_spin_compile_failure_recovery.mdwn b/doc/todo/initial_spin_compile_failure_recovery.mdwn new file mode 100644 index 00000000..423b279c --- /dev/null +++ b/doc/todo/initial_spin_compile_failure_recovery.mdwn @@ -0,0 +1,5 @@ +When initial propellor --spin host fails to compile propellor +perhaps due to a ghc compatability bug, spinning again doesn't fix the +problem. IIRC /usr/local/propellor has a git repo set up, but no remote +set, and so the subsequent spin doesn't update it, since propellor is not +running there to receive a git push into the repo. --[[Joey]] |