Re: [O] [IMPORTANT] Server migration: please update your git repositories before 31/12/2017

[Kaushal Modi]

On Thu, Jan 4, 2018 at 1:52 PM Kaushal Modi <address@hidden> wrote:

I'll fix Worg tonight if no one else has done that by then :)

Phew! Done in [1], [2] and [3]. 

Now the only things pending fixing are:

1. Commit search links like these (1700+) in worg/doc.org

ag --nogroup --line-number --column --color --color-match 30\;43 --color-path 1\;32 --nogroup --skip-vcs-ignores --numbers --smart-case --follow --ignore \#\*\# --stats -- orgmode.org/w/ .
doc.org:44:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-checkbox-statistics-hook&sr=1][Find modifications in git logs]]
doc.org:57:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-todo-setup-filter-hook&sr=1][Find modifications in git logs]]
doc.org:68:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-timer-continue-hook&sr=1][Find modifications in git logs]]
doc.org:77:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-clock-in-hook&sr=1][Find modifications in git logs]]
doc.org:86:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-clock-before-select-task-hook&sr=1][Find modifications in git logs]]
doc.org:95:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-property-allowed-value-functions&sr=1][Find modifications in git logs]]
doc.org:110:13:- [[https://orgmode.org/w/?p=org-mode.git&a=search&h=HEAD&st=commit&s=org-after-todo-state-change-hook&sr=1][Find modifications in git logs]]

2. Git repos directly under orgmode.org as mentioned in worg/org-contrib/gsoc2012/student-projects. @Bastien: Do you know where those git repos now live? For now, I have marked them as TODO's: https://code.orgmode.org/bzg/worg/commit/d4005f04f66bc0ed148212e104b571bed5573516#diff-ab154bcc2783f79b789825d4b9a2b5d63d4bcd5R17

As a plus of this repo move, I don't need to jump to hoops to commit my stuff as committing via https just works, yay! (git: is blocked on my regular machine, so earlier had to commit via https to gitlab, pull that on phone, and commit to Org/Worg repo via git: using my phone :P) :D

[1]: https://code.orgmode.org/bzg/worg/commit/f6299f7e9a58a032c8474a5e552f6536202b2b29

[2]: https://code.orgmode.org/bzg/worg/commit/503c34f0a16e504ddad54f4d265f92eb0ac9213f

[3]: https://code.orgmode.org/bzg/worg/commit/d4005f04f66bc0ed148212e104b571bed5573516

--

Kaushal Modi