Developer resources

This page lists various websites, mailing lists etc. useful for GAP developers.

Version control

We currently use three GitHub organizations to handle GAP related stuff:

• gap-system hosts the source code for GAP itself, the main GAP website, and various central utilities

  • owners: Olexandr Konovalov, Chris Jefferson, Max Horn, Steve Linton
  • the main GAP source code repository is at https://github.com/gap-system/gap
  • the sources for the GAP website are at https://github.com/gap-system/GapWWW

• gap-packages hosts repositories for many GAP packages

  • owners: Olexandr Konovalov, Chris Jefferson, Max Horn, Steve Linton — we list all of them plus some additional hosted elsewhere at http://gap-packages.github.io/

• gap-infra hosts repositories used for testing of all GAP packages in various combinations, using Travis

  • owners: Olexandr Konovalov, Chris Jefferson, Max Horn, Steve Linton

• gap-actions hosts repositories used for CI testing of GAP and GAP packages

  • owners: Chris Jefferson, Max Horn, Sergio Siccha, Wilf Wilson

Mailing lists

• GAP development discussion mailing list [email protected] — subscribe at https://lists.uni-kl.de/gap/info/gap
• GAP user discussion mailing list [email protected] — subscribe at https://lists.uni-kl.de/gap/info/forum
• GAP support mailing list [email protected] — subscribe at https://lists.uni-kl.de/gap/info/support

Contributing

• For information on how to contribute see the CONTRIBUTING.md.

Chat and other communication

• Slack chat discussions around the development and usage of GAP, GAP packages, etc.
  • admins: Olexandr Konovalov, Chris Jefferson, Max Horn

CI

• Our CI is based on GitHub Actions

  • We have Slack notifications for GitHub Actions

• Codecov reports test coverage

  • admins: Max Horn, and in general any GitHub admin (?) of the gap-system GitHub org ?? — see https://codecov.io/gh/gap-system/gap (also Codecov explained)

Docker

• Docker Hub

  • admins: Olexandr Konovalov, Max Horn, Sebastian Gutsche
  • see https://cloud.docker.com/u/gapsystem/repository/list
  • source for our Docker images can be found here: https://github.com/gap-system?q=docker

• GitHub bot account, for use on Docker: https://github.com/gap-docker-bot

Miscellaneous

• Website https://www.gap-system.org
  • admins: Olexandr Konovalov, Max Horn, ...
  • hosted by the University of Kaiserslautern-Landau
  • sources at https://github.com/gap-system/GapWWW