Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Small updates to the zen4R wiki #36

Closed
florisvdh opened this issue Aug 13, 2020 · 3 comments
Closed

Small updates to the zen4R wiki #36

florisvdh opened this issue Aug 13, 2020 · 3 comments

Comments

@florisvdh
Copy link
Contributor

florisvdh commented Aug 13, 2020

Some small fixes have been suggested in the master branch of https://github.com/florisvdh/zen4R.wiki.git. My first-time contribution to a github wiki 😄

I.e. the top three commits of following commit history:

$ git log --format='%C(auto)%h (%ai)%d %s' -n 10
a18d127 (2020-08-12 16:25:35 +0200) (HEAD -> master, origin/master) Fix html anchor
5b4c5f1 (2020-08-12 16:25:18 +0200) Replace <my_concept_doi> with <my_doi>
abcb12c (2020-08-12 16:24:31 +0200) Typos & language
c02fed7 (2020-08-02 21:37:24 +0200) (upstream/master, upstream/HEAD, master_upstream) Updated Home (markdown)
3c31f47 (2020-08-02 21:28:39 +0200) create wiki
311fe16 (2020-04-14 22:43:11 +0200) add #26 #27
50d155d (2020-01-31 10:11:19 +0100) Updated Home (markdown)
4c9d4ce (2019-09-02 16:16:55 +0200) Updated Change History (markdown)
61b777d (2019-09-02 16:06:39 +0200) Updated Home (markdown)
a5462bb (2019-09-02 16:04:30 +0200) Updated Home (markdown)

As GitHub does not provide a web interface to the (separate) remote repo of the wiki, you need to do the merging locally and then push. It is explained here: https://gist.github.com/larrybotha/10650410#merging-changes

So this should work:

$ git clone https://github.com/eblondel/zen4R.wiki.git
$ cd zen4R.wiki

# squashing all FREPO changes
$ git pull https://github.com/florisvdh/zen4R.wiki.git master

$ git push origin master
@florisvdh
Copy link
Contributor Author

[note to self: contributing to a wiki]

    • fork the original repo with the wiki
    • initialize the empty wiki in the fork with an empty home page (see also here)
    • locally clone the original wiki-repo (originalrepoURL.wiki.git). It cannot be consulted at GitHub website (hence you can't make pull requests). rename the master branch to master_upstream, rename this remote to upstream
  1. make a new local master branch and make commits
  2. add a second remote, named 'origin', pointing to the forked wiki-repo (forkedrepoURL.wiki.git).
  3. git push -u origin master --force
  4. communicate about it

@eblondel
Copy link
Owner

@florisvdh will have a look asap to your changes. thanks for contributing

@eblondel
Copy link
Owner

eblondel commented Sep 1, 2020

merged, thanks for your contribution!

@eblondel eblondel closed this as completed Sep 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants