latest 20 messages by Viking667
+
[2020-04-29T00:40:57Z]
Viking667
meh, I was afraid of that. Okay.
+
[2020-04-29T00:22:46Z]
Viking667
I'm not sure whether the problem I have is strictly a github problem, or more properly a git problem.
+
[2020-04-29T00:06:12Z]
Viking667
I recently synchronised (today), my "git describe --tags" says v7.1.10-52-g173fe847, theirs is v7.2.0-2-g173fe847
+
[2020-04-29T00:03:34Z]
Viking667
repos involved are "upstream" is dolphinsmalltalk/Dolphin, mine is brickviking/Dolphin
+
[2020-04-29T00:03:03Z]
Viking667
I'm noticing a strange problem. I forked a project, they've updated from 7.1.10-xx-gxyzabcdef to 7.2.0-xx-gxyzabcdef, yet even though I've done "git pull upstream master" my tags didn't change to match upstream.
+
[2020-04-26T01:56:03Z]
Viking667
be back later
+
[2020-04-26T01:46:03Z]
Viking667
...I guess so. It reset the github end back to what I have here. Okay, that's me done. Thank you.
+
[2020-04-26T01:42:59Z]
Viking667
yes?
+
[2020-04-26T01:42:47Z]
Viking667
so I guess that all I have to do here is git push -f
+
[2020-04-26T01:42:15Z]
Viking667
Yah. My local copy is at that previous commit. Github is one commit ahead (as I edited a file in the repo by using the github interface)
+
[2020-04-26T01:40:02Z]
Viking667
Ah, so I do have to do it from my end, not the github end. :(
+
[2020-04-26T01:05:08Z]
Viking667
On a github repo, is there a way of winding back to a specific point and truncating at that point? (i.e. I want to full-out rewind to a specific commit) and drop the later commit
+
[2020-04-24T10:11:48Z]
Viking667
meh. Got to r.... ah whatever. Good morftervenight to all.
+
[2020-04-24T09:44:07Z]
Viking667
Would have been fine if I could have read my Windows registry from Linux, but I can't really do taht.
+
[2020-04-24T09:43:45Z]
Viking667
sorry about that, had to go do some stuff.
+
[2020-04-24T09:15:27Z]
Viking667
I'll be back another time, I have to go check a registry key in a real Windows...
+
[2020-04-24T09:13:23Z]
Viking667
whoops, scratch the wiki, just go to Dolphin
+
[2020-04-24T09:12:57Z]
Viking667
ah, sorry about that.... check the wiki for https://github.com/brickviking/Dolphin/
+
[2020-04-24T07:59:18Z]
Viking667
Perhaps I shouldn't have edited it using github...
+
[2020-04-24T07:58:03Z]
Viking667
to answer the question from earlier, no it doesn't.