Closed jmirabel closed 3 years ago
This project doesn't accept pull requests on master, please change the base branch of your pull request to devel.
This project doesn't accept pull requests on master, please change the base branch of your pull request to devel.
Some messages on github are tagged by a [bot]
box in the header of the message, but I wasn't able to find how to do that.
I'll just make the message clearer, then.
Up to now, the branch management policy for this package was:
Now that the installation instructions have been separated for devel and master, we may switch to the standard devel/master policy. What do you think ?
I agree with the standard master/devel policy.
@hrp2-14 message has been updated here : https://github.com/Gepetto/dashboard/commit/a14977ea829d85b6d84eccf8e6c5fc876c150739
There are two different things that should be considered.
@nim65s If this change is correct, I let you merge it.