Closed ngeiswei closed 4 years ago
It creates an ugly mountain in the git history just for single worthwhile commit https://github.com/opencog/miner/commit/d573ecb828fcceca0b70d04983779ec4b7ad3a16.
I'm tempted to just remake this commit on opencog/miner and then force push opencog/miner to singnet/miner, but why hide a scar? Better remember it I say.
It creates an ugly mountain in the git history just for single worthwhile commit https://github.com/opencog/miner/commit/d573ecb828fcceca0b70d04983779ec4b7ad3a16.
I'm tempted to just remake this commit on opencog/miner and then force push opencog/miner to singnet/miner, but why hide a scar? Better remember it I say.