Move blogs (#106)

* Move blogs. Update banner

* Fix vscode auto-format bug

* Remove _pages from config.yml

* Remove unnecessary table.scss changes

Author: ratulm

_config.yml

@@ -19,15 +19,16 @@ title: Batfish
 description: >- # this means to ignore newlines until "baseurl:"
 url: "https://batfish.github.io" # the base hostname & protocol for your site, e.g. http://example.com
 
+show_excerpts: true
+
 google_analytics: GTM-TZKVKVG
-intentionet_url: https://www.intentionet.com/
 
 # Social
 slack_url: https://join.slack.com/t/batfish-org/shared_invite/enQtMzA0Nzg2OTAzNzQ1LTUxOTJlY2YyNTVlNGQ3MTJkOTIwZTU2YjY3YzRjZWFiYzE4ODE5ODZiNjA4NGI5NTJhZmU2ZTllOTMwZDhjMzA
 github-project-url: https://github.com/batfish/batfish
-# github_username: 
-# linkedin_username: 
-# twitter_username: 
+# github_username:
+# linkedin_username:
+# twitter_username:
 
 
 # Build settings
@@ -40,8 +41,7 @@ plugins:
   - jekyll-feed
 
 include:
-  - _pages
-
+  - _posts
 
 # Exclude from processing.
 # The following items will not be processed, by default. Create a custom list

_includes/banner.html

@@ -2,13 +2,17 @@
   <div class="container text-center p-2">
     <p class="m-0 lead">
       <span>
-              Want to get your hands dirty? See our <a href=https://batfish.readthedocs.io/en/latest/index.html>Python docs</a> (<a href="assets/cheat-sheet.pdf">a cheat sheet</a>) or <a href=https://github.com/batfish/ansible>Ansible docs</a>.
+              Want to get your hands dirty? See <a href=https://batfish.readthedocs.io/en/latest/index.html>docs</a>.
       </span>
       <br>
       <span>
               Got questions or feature requests? Join us on
               <a href="https://join.slack.com/t/batfish-org/shared_invite/enQtMzA0Nzg2OTAzNzQ1LTcyYzY3M2Q0NWUyYTRhYjdlM2IzYzRhZGU1NWFlNGU2MzlhNDY3OTJmMDIyMjQzYmRlNjhkMTRjNWIwNTUwNTQ">Slack</a> or <a href="https://github.com/batfish/batfish">GitHub</a>.
-          </span>
+      </span>
+      <br>
+      <span>
+              Or read <a href="blogs.html">our blog</a> to dig deeper into the rationale for Batfish.
+      </span>
     </p>
   </div>
 </div>

_includes/intentionet-banner.html

@@ -16,6 +16,14 @@ <h2>Publications</h2>
   <!-- Publication-->
   <div id="publication-1" class="justify-content-center row">
     <div class="col-10">
+      <div class="content-row my-4">
+        <a href="https://dl.acm.org/doi/10.1145/3603269.3604866">
+            <h4>Lessons from the evolution of the Batfish configuration analysis tool</h4>
+          </a>
+        <p>Matt Brown, Ari Fogel, Daniel Halperin, Victor Heohiardi, Ratul Mahajan, Todd Millstein</p>
+        <p>ACM SIGCOMM 2023 Conference</p>
+      </div>
+
       <div class="content-row my-4">
         <a href="https://www.usenix.org/system/files/conference/nsdi15/nsdi15-paper-fogel.pdf">
             <h4>A General Approach to Network Configuration Analysis</h4>

_includes/publications.html

@@ -7,7 +7,6 @@
     {%- include google-analytics-noscript.html -%}
     {%- endif -%}
 
-    {%- include intentionet-banner.html -%}
     <main class="page-content" aria-label="Content">
       <div class="wrapper">
         {{ content }}

_layouts/default.html

@@ -25,7 +25,9 @@ <h1 class="display-1">Batfish</h1>
         </p>
         <p>
           Batfish was originally developed by researchers at Microsoft Research, UCLA, and USC.
-          Many others have since contributed to it. 
+          It was later enhanced and maintained by Intentionet. Since the Intentionet team joined AWS, it has
+          been an AWS-managed open source project under the same license (Apache 2.0). Many others
+          have contributed to the project.
         </p>
       </div>
     </div>
@@ -56,27 +58,5 @@ <h1 class="display-1">Batfish</h1>
     </div>
 
   </div>
-    <!-- End Content-->
-
-    {%- if site.post.size > 0 -%}
-    <h2 class="post-list-heading">{{ page.list_title | default: "Posts" }}</h2>
-    <ul class="post-list">
-      {%- for post in site.post -%}
-      <li>
-        {%- assign date_format = site.minima.date_format | default: "%b %-d, %Y" -%}
-        <span class="post-meta">{{ post.date | date: date_format }}</span>
-        <h3>
-          <a class="post-link" href="{{ post.url | relative_url }}">
-          {{ post.var | escape }}
-        </a>
-        </h3>
-        {%- if site.show_excerpts -%} {{ post.excerpt }} {%- endif -%}
-      </li>
-      {%- endfor -%}
-    </ul>
-
-    <p class="rss-subscribe">subscribe
-      <a href="{{ " /feed.xml " | relative_url }}">via RSS</a>
-    </p>
-    {%- endif -%}
-  </div>
+</div>
+<!-- End Content-->