Re: [Paparazzi-devel] git push?

[Felix Ruess]

Hi Tobi,

the preferred method of contributing is issuing a pull request from
another github account. If you already have another publicly available
git repository of your tree a pull request via email and the url to
your other git repo is also fine. Otherwise you can send patches to
the mailing list.

Imho creating a github account and pushing your changes to your own
fork, then issuing a pull request is easiest (especially if you want
to contribute more often). If it is just a couple of small changes,
just create a patch.

I committed your suggestion, thanks!

Cheers, Felix

On Sat, Jul 2, 2011 at 5:44 PM,  <address@hidden> wrote:
>
>
> git?
>
>
> is it possible to push a file without having a github account?
> i cloned directly from the master and now i would like to contribute just a 
> little bit
> could you please help me with that. what would be the easiest way to do so? 
> lets say for two or three files
>
> until i ll get help i try this :
>
> in paparazzi/sw/ground_segment/cockpit/live.ml  ln 1218
> should be
>   log_and_say a ac.ac_name (sprintf "%s, %s %s" ac.ac_name "BAT LOW" level)
> instead of
>   log_and_say a ac.ac_name (sprintf "%s %s %s" ac.ac_name "BAT LOW" level)
>
>
> just kidding with you guys - that was the smallest change i could find to 
> push :-)
> but it makes the speech function just a little bit better...
>
> Tobi
>
>
>
> ___________________________________________________________
> Schon gehört? WEB.DE hat einen genialen Phishing-Filter in die
> Toolbar eingebaut! http://produkte.web.de/go/toolbar
>
> _______________________________________________
> Paparazzi-devel mailing list
> address@hidden
> https://lists.nongnu.org/mailman/listinfo/paparazzi-devel
>