ompl: add `head` branch

Signed-off-by: Rui Chen <rui@chenrui.dev>
master
Rui Chen 2021-09-13 00:40:30 -04:00 committed by BrewTestBot
parent ebcba02423
commit c29b9fdb39
No known key found for this signature in database
GPG Key ID: 82D7D104050B0F0F
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@ class Ompl < Formula
url "https://github.com/ompl/ompl/archive/1.5.2.tar.gz"
sha256 "db1665dd2163697437ef155668fdde6101109e064a2d1a04148e45b3747d5f98"
license "BSD-3-Clause"
head "https://github.com/ompl/ompl.git"
head "https://github.com/ompl/ompl.git", branch: "main"
# We check the first-party download page because the "latest" GitHub release
# isn't a reliable indicator of the latest version on this repository.