|Subject:||Re: [Liberty-eiffel] Git usage and workflow|
|Date:||Sat, 18 Jun 2016 21:48:06 -0400|
I have a personal GitHub repository, by forking from the LibertyEiffel/Liberty repository. I will go aheadand initiate pull requests against the master repo for LibertyEiffel/Liberty.cheers,mehulOn Thu, Jun 16, 2016 at 2:05 PM, Raphael Mack <address@hidden> wrote:Hi,
I tried to write a few words about the ugly setup of our repository
Your approach with topic based local branches is exactly what git was
made for (beside a few other nice features ;-) So I'd recommend, that
you create a personal github repo (cloning the LibertyEiffel master repo
there is fine), where you can push your local branches to in order to
ask for feedback and to submit pull requests.
Am Donnerstag, den 16.06.2016, 12:23 -0400 schrieb Mehul Sanghvi:
> I am guessing I do not have push access to the repo, so how do I get
> my local commits into the repo at savannah.gnu.org ? How would the
> workflow be for someone submitting patches but not having push
> access ?
> I was thinking just create local branches off of origin/master, for
> each related task, keep committing to the branch and merge from
> origin/master into the branch, until the work is completed, than
> delete the branch.
> Do people have a different / better work flow ?
> Mehul N. Sanghvi
> email: address@hidden
--Mehul N. Sanghvi
|[Prev in Thread]||Current Thread||[Next in Thread]|