30,139 reputation
275114
bio website alerque.com
location Izmir, Turkey
age 32
visits member for 4 years, 3 months
seen 1 hour ago

I am a scripting language connoisseur, regular expression aficionado, network geek, general lover of Linux and a frequent contributor to open source software. I transitioned to programming from other work because I was too busy automating my own work environment to actually do the other work. I have a hobby interest in cartography. For more see my personal site. Most importantly, my life is defined by the grace of God given to men through Jesus Christ. It is my ambition that everything I do would reflect His glory and point people towards Him.


Sep
1
revised How can I limit downloaded file size in wget?
rolled back to a previous revision
Aug
30
comment How did `git pull` eat my homework?
@Netch My question already identifies exactly what code is running to make that happen.
Aug
28
comment How did `git pull` eat my homework?
Yes I know it's an unusual problem (and I do have backups). My question here is how it went wrong ... where to look for the bug in git or my file-system driver or whatever else could have borked to eat a directory in the middle of an operation like this.
Aug
28
comment How did `git pull` eat my homework?
I don't think you read the whole question. This sort of fix is completely out of the question because there is no git meta-data. Doing a reset like this requires an extant .git directory and some objects in it to work from. I have nothing. It's not just a messed up working directory, it is no longer a repository of any kind.
Aug
21
comment How did `git pull` eat my homework?
@pqnet None. I am the only one with access to the git server in question and have since audited that it was not tampered with.
Aug
21
comment How did `git pull` eat my homework?
The forced push rebased the last handful of commits. That wasn't what I pulled down (the working directory is no longer a working directory!) and even if it was re-cloning wouldn't make any sense.
Aug
16
awarded  Popular Question
Aug
12
awarded  Enlightened
Aug
12
awarded  Nice Answer
Aug
8
awarded  Enlightened
Aug
8
awarded  Nice Answer
Aug
6
awarded  Good Question
Aug
4
comment How did `git pull` eat my homework?
@Alexander The pull operation is normal (other that being a rebase rather than a merge). The notice about a forced update is indicating that the repo I'm pulling from had a force push that reset it from a different position than the local repo last saw it at. This is normal because I'm syncing actively developed and frequently rebased material between my own computers, not a public branch that other developers will see.
Jul
31
awarded  Enlightened
Jul
31
awarded  Nice Answer
Jul
26
awarded  Nice Question
Jul
25
comment How did `git pull` eat my homework?
@Gilles The project was imported from subversion so it has some git-svn stuff in history but that was a one shot deal and svn is no longer involved. I was pulling from a native git repo (gitlab over ssh). No, there is no .git file upstream or anywhere in history.
Jul
24
comment How did `git pull` eat my homework?
@Anthon Git has 'porcelain' commands that make retrieving meta info like that fairly straightforward (and fast). I've been using this shell implementation for months, and it's a widely used implementation. I don't think that's the culprit. From the terminal history is seems apparent that the git command aborted (took it's ball and went home) during the rebase. There should have been more output from git for that operation before it turned things back over to the shell. The vcs_info() routine would not have even gotten called until after it returned.
Jul
24
comment How did `git pull` eat my homework?
@FaheemMitha Asking this question wouldn't make much sense if I could. I only have the one instance to go on. As mentioned in the question I did try using other repos on this machine and don't see any problems.
Jul
24
comment How did `git pull` eat my homework?
@Patrick As I explained in the question already, no .git does not exist. Nothing does—what used to be the git root directory has nothing in it at all.