update Github information (devs and project stars)

code/utils/constants.py

@@ -201,7 +201,8 @@ general_code_dependencies_without_entry = {'OpenGL': 'https://www.opengl.org/',
                                    'jQuery': 'https://jquery.com/',
                                    'node.js': 'https://nodejs.org/en/',
                                    'GNU Guile': 'https://www.gnu.org/software/guile/',
-                                   'tkinter': 'https://docs.python.org/3/library/tk.html'}
+                                   'tkinter': 'https://docs.python.org/3/library/tk.html',
+                                   'Boost': 'https://www.boost.org/'}
 
 # build system urls
 build_system_urls = {

code/utils/osg.py

@@ -124,8 +124,12 @@ def write_developers(developers):
             value = dev[field]
             # lists get special treatment
             if isinstance(value, list):
+                # remove duplicates
+                value = list(set(value))
+                # sort
                 value.sort(key=str.casefold)
-                value = [x if not ',' in x else '"{}"'.format(x) for x in value]  # surround those with a comma with quotation marks
+                # surround those with a comma with quotation marks
+                value = [x if not ',' in x else '"{}"'.format(x) for x in value]
                 value = ', '.join(value)
             content += '- {}: {}\n'.format(field, value)
         content += '\n'