Updated to repos to main branch

mmicko · mmicko · commit 566da3e8f8b0 · 2024-03-21T13:03:30.000+01:00
diff --git a/default/rules/formal.py b/default/rules/formal.py
@@ -12,7 +12,7 @@
 	name = 'mcy',
 	vcs = 'git',
 	location = 'https://github.com/YosysHQ/mcy',
-	revision = 'origin/master',
+	revision = 'origin/main',
 	license_file = 'COPYING',
 )
 
@@ -28,15 +28,15 @@
 	name = 'sby',
 	vcs = 'git',
 	location = 'https://github.com/YosysHQ/sby',
-	revision = 'origin/master',
+	revision = 'origin/main',
 	license_file = 'COPYING',
 )
 
 SourceLocation(
 	name = 'sby-gui',
 	vcs = 'git',
 	location = 'https://github.com/YosysHQ/sby-gui',
-	revision = 'origin/master',
+	revision = 'origin/main',
 	license_file = 'COPYING',
 )
 
diff --git a/default/rules/yosys.py b/default/rules/yosys.py
@@ -4,7 +4,7 @@
 	name = 'yosys',
 	vcs = 'git',
 	location = 'https://github.com/YosysHQ/yosys',
-	revision = 'origin/master',
+	revision = 'origin/main',
 	license_file = 'COPYING',
 )
 

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`name = 'yosys',`
`5`	`5`	`vcs = 'git',`
`6`	`6`	`location = 'https://github.com/YosysHQ/yosys',`
`7`		`- revision = 'origin/master',`
	`7`	`+ revision = 'origin/main',`
`8`	`8`	`license_file = 'COPYING',`
`9`	`9`	`)`
`10`	`10`