Update URL in history.txt (#259)

* Update URL in history.txt

* Configure CI header checker to ignore .txt files

Co-authored-by: alfred gedeon <28123637+alfred2g@users.noreply.github.com>
diff --git a/History.txt b/History.txt
index 6dcf3ce..2960687 100644
--- a/History.txt
+++ b/History.txt
@@ -79,7 +79,7 @@
 	  the same way the Windows port layer enables FreeRTOS to run on Windows

 	  hosts.

 	+ Many other minor optimisations and enhancements. For full details  

-	  see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/master

+	  see https://github.com/FreeRTOS/FreeRTOS-Kernel/commits/main

 

 

 Changes between FreeRTOS V10.3.0 and FreeRTOS V10.3.1 released February 18 2020