GNOME Shell Extensions dev series

Development channel. To add your code to the project, propose it to be merged with the dev channel. The dev channel is then merged into main for each release. Dev channel is the first place to get new features and fixed bugs. However, things may break unexpectedly at any time. Expect this code to be broken, and be happy if it isn't.

This branch is frozen before each release. The deadline for new features to be added is six days before the release. The deadline for new code to be merged in is two days before the release. Dev channel is merged into main the night before each release.

DO NOT commit code directly to dev or to main, unless you are doing an authorized merge. Instead, commit code to the branch lp:~<userid>/<project-name>/<branch-name> where userid is your launchpad id, project-name is the launchpad id of the project, and branch-name is a unique name for your branch. Then, propose for your branch to be merged into dev.