Create 10.1 on github

Description

In no specific order:

  • send an email to maria-developers

  • create 10.1 tree on github

  • research how we merge from 10.0 to 10.1

  • configure buildbot to build 10.1

  • set up permissions so that people could push to github

  • write howtos in kb

Assignee

Sergei Golubchik

Reporter

Sergei Golubchik

Labels

None

Time tracking

40h

Fix versions

Priority

Blocker
Configure