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: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.