Details
-
Task
-
Status: Closed (View Workflow)
-
Blocker
-
Resolution: Fixed
-
None
-
None
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
Attachments
Issue Links
- relates to
-
MDEV-6278 Create post-commit git hook to send commit emails
-
- Closed
-
The tags are in my local repo. Maybe they need to be pushed to github explicitly (I have not worked much with tags in git before)
Right, it seems so:
https://help.github.com/articles/pushing-to-a-remote#pushing-tags