Better V Integration #81
			
				
			
		
		
		
	
			No reviewers
			
				
				
			
		
		
		
	
	
	
		Labels
		
	
	
	
	No Label
	
		
			
	
	
	
	Roadmap
		
			
	V
		
			
	bug
		
			
	docs
		
			
	duplicate
		
			
	enhancement
		
			
	good first issue
		
			
	help wanted
		
			
	idea
		
			
	invalid
		
			
	question
		
			
	wontfix
		
		
			
	Idea
		
			
	Roadmap
		
			
	bug
		
			
	duplicate
		
			
	enhancement
		
			
	help wanted
		
			
	invalid
		
			
	question
		
			
	wontfix
		
	
		No Milestone
		
	
	
		
		
		
			No project
			
				
			
		
	
	
	
	
	
		No Assignees
		
			
		
	
	
	
		1 Participants
		
	
	
		
		
			Notifications
			
				
			
		
	
	
	
	Due Date
	No due date set.
			
				Dependencies
				
				
		
	
	
	No dependencies set.
			Reference: vieter-v/vieter#81
			
		
	
		Loading…
	
		Reference in New Issue
	
	
	There is no content yet.
		
		Delete Branch "better-v-integration"
	
	Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?
This PR switches the CI & Makefile to using my personal V fork for this project. This makes the patches system obsolete, as these can be implemented in the builder repository itself. This change allows us to more closely follow V development when needed.
Closes #75