Marek Zawirski <marek.zawirski@xxxxxxxxx> wrote: > Robin, Tor, I know that you were already contributing some graphics to > egit. If someone of you would like to do some icon for push/fetch with > pleasure, you are welcome. Otherwise I'll have to do some crappy icon > instead ;) Another matter are checkboxes screenshots. I'm not sure > about legality status of including them. Any ideas if/how we co use > them or some another set that we can for sure? So my office-mate suggests that the output of a program (in this case the checkbox icon) isn't covered by the same copyright as the program that created it. So we may be OK. Or we just use some other sort of icon for the checkbox. Maybe Tor would be able to come up with something useful here? Anyway, most of this series looks pretty good to me. I found a few other annoying bugs in JGit and EGit as a result of testing this series, but they are unrelated to the series and have been there all along. So I may try to fix them in the coming weeks. > 55 files changed, 6471 insertions(+), 981 deletions(-) Heh. Been busy, hmm? ;-) -- Shawn. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
