Merge pull request #1607 from allisonvacanti/revert_1475

Revert "Squashed changes from #1475."
NVIDIA · Jan 25, 2022 · f80c77b · f80c77b
2 parents df5aa30 + 4d657ac
commit f80c77b
Show file tree

Hide file tree

Showing 270 changed files with 3,288 additions and 5,189 deletions.
diff --git a/.github/workflows/deploy-documentation-github-pages.yml b/.github/workflows/deploy-documentation-github-pages.yml
diff --git a/.github/workflows/mirror-main-branch-to-master-branch.yml b/.github/workflows/mirror-main-branch-to-master-branch.yml
@@ -1,7 +1,7 @@
 on:
   push:
     branches:
-      - main
+      - "main"
 
 jobs:
   mirror-main-branch-to-master-branch:
@@ -12,6 +12,6 @@ jobs:
       id: mirror
       uses: google/mirror-branch-action@v1.0
       with:
-        source: main
-        dest: master
+        source: "main"
+        dest: "master"
         github-token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,6 @@
+*.log
+.p4config
+doc/html
 discrete_voronoi.pgm
 *build*/
 .idea/