Re: [jdt-dev] Github workflow

[Christoph Läubrich <laeubi@xxxxxxxxxxxxxx>]

One could simply hit the edit button and suggest a change in the 
documentation.


Am 22.04.22 um 13:21 schrieb jkubitz-eclipse@xxxxxx:
> Why would a eclipse user use git commandline? Can we please get a 
> workflow within eclipse?
>
> Andrey suggested this workflow within eclipse:
>
> https://github.com/eclipse-platform/eclipse.platform.runtime/pull/30#issuecomment-1103848990 
> <https://github.com/eclipse-platform/eclipse.platform.runtime/pull/30#issuecomment-1103848990>
>
> *Von:* jdt-dev <jdt-dev-bounces@xxxxxxxxxxx> *Im Auftrag von *Thomas Mäder
> *Gesendet:* Freitag, 22. April 2022 12:53
> *An:* Eclipse JDT general developers list. <jdt-dev@xxxxxxxxxxx>
> *Betreff:* [jdt-dev] Github workflow
>
> …
>
> fork eclipse-jdt/eclipse.jdt.ui
>
> clone eclipse-jdt/eclipse.jdt.ui
>
> git remote add thomas .../tsmaeder/eclipse.jdt.ui
>
> …
>
>
> _______________________________________________
> jdt-dev mailing list
> jdt-dev@xxxxxxxxxxx
> To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jdt-dev