New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add CONTRIBUTING, README, and .gitignore #1

Merged
merged 3 commits into from Feb 26, 2015

Conversation

Projects
None yet
2 participants
@markuspf
Member

markuspf commented Feb 26, 2015

No description provided.

alex-konovalov added a commit that referenced this pull request Feb 26, 2015

Merge pull request #1 from markuspf/mp-add-files
Add CONTRIBUTING, README, and .gitignore

@alex-konovalov alex-konovalov merged commit 80b9ddf into gap-system:master Feb 26, 2015

@alex-konovalov

This comment has been minimized.

Show comment
Hide comment
@alex-konovalov

alex-konovalov Feb 26, 2016

Member

Happy birthday to this pull request #1 submitted exactly a year ago! Some highlights of what happened after that:

  • In this repository, in total we have 640 pull requests and issues.
  • If things are done, they are done: pull requests are normally reviewed and getting merged. Today we have 32 open and 356 closed pull requests. That's more than one new pull request a day!
  • For issues, the ratio is nearly 50/50: today, we have 120 open and 133 closed issues.
  • We had several very productive GAP Days.
  • We have a gap-system virtual organisation on GitHub which also contains repositories for other development tools, GAP Website, etc.
  • We have growing virtual organisation for gap-packages.
  • There is even larger activity with GAP packages, since some of them are openly developed elsewhere - see this page.
  • There is an open GAP development mailing list.
  • We started a Wiki with documentation for developers here.
  • We made two minor releases based on this repository (4.7.8 and 4.7.9).
  • We put a lot of efforts in making GAP more robust and test it better, in particular, we now run nightly check of the test coverage and publish reports here.
  • And we are now going to announce the first major release of GAP 4.8.2 made from this repository!

This is a result of collaborative efforts of many people - congratulations and thanks to everyone involved!!! Looking forward to the new advancements!

Member

alex-konovalov commented Feb 26, 2016

Happy birthday to this pull request #1 submitted exactly a year ago! Some highlights of what happened after that:

  • In this repository, in total we have 640 pull requests and issues.
  • If things are done, they are done: pull requests are normally reviewed and getting merged. Today we have 32 open and 356 closed pull requests. That's more than one new pull request a day!
  • For issues, the ratio is nearly 50/50: today, we have 120 open and 133 closed issues.
  • We had several very productive GAP Days.
  • We have a gap-system virtual organisation on GitHub which also contains repositories for other development tools, GAP Website, etc.
  • We have growing virtual organisation for gap-packages.
  • There is even larger activity with GAP packages, since some of them are openly developed elsewhere - see this page.
  • There is an open GAP development mailing list.
  • We started a Wiki with documentation for developers here.
  • We made two minor releases based on this repository (4.7.8 and 4.7.9).
  • We put a lot of efforts in making GAP more robust and test it better, in particular, we now run nightly check of the test coverage and publish reports here.
  • And we are now going to announce the first major release of GAP 4.8.2 made from this repository!

This is a result of collaborative efforts of many people - congratulations and thanks to everyone involved!!! Looking forward to the new advancements!

markuspf referenced this pull request in markuspf/gap Aug 4, 2016

Merge pull request #1 from gap-system/master
Get updates from parent repository
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment