search

boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.
Apache License 2.0
72 stars 5 forks source link

Change default branch to "develop" #35

Closed schorg closed 3 years ago

schorg commented 3 years ago

Pull requests should be handled there.

schorg commented 3 years ago

This is our process. For the time being, master remains the default branch.