Hello Jan, 2015-02-04 19:58 GMT+01:00 Jan Wagner <[email protected]>:
> hi devs, > > i still had some troubles with git, and create correctly branched pulls. > this is the best command line based > tutorial I found - and now even I seem to understand :) > > https://www.atlassian.com/git/tutorials/making-a-pull-request/example > Keep in mind, that Pull Requests are not a feature of Git, but of the software that is provided by your repository hoster (in our case Github). What Atlassian understands as a Pull Request can differ vastly from what Github sees as a Pull Request (though I do not expect that much of a difference). Maybe it is helpful to fact-check in Github's Help page [1]. > i still did not find the correct way to add TAGS to pulls - can anyone > give me a hint on that ? > `git pull` is a concatination of the commands `git fetch` and `git merge FETCH_HEAD` [2]. In so far it might be possible to `git pull -t` to get the tags. However in general it is advisable to get references and tags by purely fetching with `git fetch -t` [3]. The official documentation of git [4] is very good btw and includes also a book [5] on it's concepts with several examples of how to do stuff. Github's documentation is in a few cases spotty but not bad, either [6]. Hope I could solve some questions, Cheers, Martine [1] https://help.github.com/search/?utf8=%E2%9C%93&q=pull+request [2] http://git-scm.com/docs/git-pull [3] http://git-scm.com/docs/git-fetch [4] http://git-scm.com/docs/ [5] http://git-scm.com/book/en/v2 [6] https://help.github.com/
_______________________________________________ devel mailing list [email protected] http://lists.riot-os.org/mailman/listinfo/devel
