[dev] Repositories was: Constructive Criticism/Venting

Jan Schneider jan at horde.org
Mon Mar 17 09:21:13 UTC 2014


Zitat von Michael M Slusarz <slusarz at horde.org>:

> Quoting Chuck Hagenbuch <chuck at horde.org>:
>
>> On Mar 14, 2014, at 8:28 AM, Jan Schneider <jan at horde.org> wrote:
>>
>>> Zitat von Michael J Rubinsky <mrubinsk at horde.org>:
>>>
>>>> I've come to agree that this needs to be done, as I've said  
>>>> before. However, we need to delay this until at least H5.2 is  
>>>> released. We just don't have the manpower to perform the split,  
>>>> rewrite our development tool chain, as well as work on the  
>>>> release/bug fixes etc... I do, however, still adamantly stick to  
>>>> my view that we need to have the tool chain developed and mostly  
>>>> working before we make the official switch.
>>>
>>> I'm completely sold now that we must split the repositories. Right  
>>> after Horde 5.2 release. To keep being able to fix bugs that crop  
>>> up after the final release, we indeed need to work out the tools  
>>> first though.
>>>
>>> I even want to go a step further and discuss whether we want to  
>>> move completely to github with version management. Having one  
>>> (large) system less to maintain would help our limited resources.  
>>> The code review and commenting and PR systems are awesome too.
>>
>> I'm in favor of both of those changes.
>
> I agree with both decisions also.  With one caveat: would we lose  
> the ability to send out e-mail notification messages of commits?  I  
> tend to think the answer is yet, at least respect to git hooks.  But  
> I know that github also has some kind of notification API that can  
> probably be leveraged to do this.
>
> Or is the idea to still push to git.horde.org, and simply do  
> everything else on github?  It actually would be nice to directly  
> use github, because then we could use things like committing code  
> directly from pull requests.

The idea is to use github exclusively. But we indeed need to figure  
out about commit notification and ticket update possibilities.
-- 
Jan Schneider
The Horde Project
http://www.horde.org/
https://www.facebook.com/hordeproject



More information about the dev mailing list