Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
MochiKit
Home
+ new post
About this group
Join this group
MochiKit moving to github
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   2 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Bob Ippolito  
View profile  
 More options Oct 11 2010, 12:04 am
From: Bob Ippolito <b...@redivi.com>
Date: Mon, 11 Oct 2010 12:04:07 +0800
Local: Mon, Oct 11 2010 12:04 am
Subject: MochiKit moving to github
Print | Individual message | Show original | Report this message | Find messages by this author
I'm in the process of moving MochiKit to github to remove the
maintenance burden from the Mochi ops team, and make it easier to
contribute. We're in the process of switching everything to git
internally anyway, so it's about time:
http://github.com/mochi/mochikit

I think that we'll just go ahead and use github pages for the site
once the transition is complete. I have most of it set up here (the
customize functionality still uses SVN):
http://mochi.github.com/mochikit

We haven't migrated anything in Trac yet. I'm not sure how much of it
is really useful these days.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Per Cederberg  
View profile  
 More options Oct 11 2010, 11:32 am
From: Per Cederberg <cederb...@gmail.com>
Date: Mon, 11 Oct 2010 17:32:50 +0200
Local: Mon, Oct 11 2010 11:32 am
Subject: Re: [mochikit] MochiKit moving to github
Print | Individual message | Show original | Report this message | Find messages by this author
The download customization is now working. You can reach it here (also
linked from the new web site):

  http://mochi.github.com/mochikit/packed/MochiKit/customize.html

Regarding tickets, if you are a stakeholder, please look through the
list and re-submit the ones you still think applies in the new GitHub
issue tracker. I've fixed a few today and will probably celebrate the
GitHub migration by pushing in a few others tomorrow.

https://trac.mochikit.com/report/3 -- current issues

http://github.com/mochi/mochikit/issues -- new issues

Also, if you have code fixes, feel free to perform a proper fork &
pull-request via GitHub. Will make it easier to import any code
changes verbatim.

Cheers,

/Per


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google