On Wed, 18 Nov 2015 19:56:58 +0100
Tristan Gingold wrote:
> On 18/11/15 06:19, Tristan Gingold wrote:
> > Hi,
> >
> > I plan to switch to git. That means:
> > - adding a git repo on ghdl-update
> > - converting the hg repo to git
> > - pushing the new git repo
>
> Done.
> I
(GMT+01:00) An: GHDL discuss list <ghdl-discuss@gna.org> Betreff: [Ghdl-discuss] Switching to git
Hi,
I plan to switch to git. That means:
- adding a git repo on ghdl-update
- converting the hg repo to git
- pushing the new git repo
- removing the old hg repo.
I would then pl
On 18/11/15 06:19, Tristan Gingold wrote:
Hi,
I plan to switch to git. That means:
- adding a git repo on ghdl-update
- converting the hg repo to git
- pushing the new git repo
Done.
I have also imported ghdl on github:
https://github.com/tgingold/ghdl
- removing the old hg repo.
Will
> On 19/11/2015, at 7:56 am, Tristan Gingold wrote:
>
> https://github.com/tgingold/ghdl
>
>> - removing the old hg repo.
>
> Will remove the old hg repo later.
The releases (0.31 - 0.33) don’t show up as branches.
(I lament the loss of the Revision column in SourceTree,
On 18/11/15 20:09, David Koontz wrote:
On 19/11/2015, at 7:56 am, Tristan Gingold wrote:
https://github.com/tgingold/ghdl
- removing the old hg repo.
Will remove the old hg repo later.
The releases (0.31 - 0.33) don’t show up as branches.
Now fixed.
(I lament the
> On 19/11/2015, at 8:28 am, Tristan Gingold wrote:
>
> On 18/11/15 20:09, David Koontz wrote:
>>
>>> On 19/11/2015, at 7:56 am, Tristan Gingold wrote:
>>>
>>> https://github.com/tgingold/ghdl
>>>
- removing the old hg repo.
>>>
>>> Will remove the
On Wed, 2015-11-18 at 06:19 +0100, Tristan Gingold wrote:
> Hi,
>
> I plan to switch to git. That means:
> - adding a git repo on ghdl-update
> - converting the hg repo to git
> - pushing the new git repo
> - removing the old hg repo.
>
> I would then plan to create a github repo, and
> pushing
Hi,
I plan to switch to git. That means:
- adding a git repo on ghdl-update
- converting the hg repo to git
- pushing the new git repo
- removing the old hg repo.
I would then plan to create a github repo, and
pushing changes on both github and sourceforge.
Any feedback ?
Tristan.