Git Product home page Git Product logo

icaps2022.github.io's Introduction

The ICAPS 2022 conference website.

Designed by Kristie Taylor-Muise based on Halcyonic by HTML5 UP.

Instructions for submitting updates

These are rather draft instructions, but they should serve as a loose guide.

Clone the ICAPS2022 repository and set up your local repository

  1. Sign up for Github
  2. Go to https://github.com/ICAPS2022/icaps2022.github.io and click the 'Fork' button in the upper right. This should create and bring you to your own copy of the ICAPS website repository.
  3. Use git to clone your repository

Set up a remote tracking branch

After you've cloned the ICAPS on GitHub and set it up on your local machine, you should add a remote repository for tracking changes to the main site:

$ git remote add icaps [email protected]:ICAPS2022/icaps2022.github.io.git

You only need to do this once for your local repository.

Branch to make your edits

Use git-fetch to update the remote repository, and then create a new branch for the pull request you plan to make:

$ git fetch icaps
$ git checkout -b <branch-name> icaps/master

Edit your files normally.

If you add a new file, remember to add it with git add. Commit your changes with git commit, and push it back to GitHub with git push:

$ git add <path-to-new-file>
$ git commit -am <useful but terse change description>
$ git push origin

You should repeat this part of the procedure for each new pull request.

Testing Changes

The website is built using jekyll, a web framework built on top of the Ruby language. On Linux, you can install this with apt install jekyll, and similar instructions exist for other OS'. After installing, you will need to install the required gems via bundle install.

You can test your changes by running jekyll serve from the base directory (icaps2022.github.io), which will start a webserver on http://localhost:4000

Depending on your system configuration, sudo may be required for any of these.

Creating your pull request

Use https://github.com/ICAPS2022/icaps2022.github.io/pulls to create a "Pull request", which will notify us that your changes are ready to apply, and we'll log on to merge them into the main site. I've created an example pull request here: https://github.com/ICAPS2022/icaps2022.github.io/pull/

The website maintainers will be notified and (hopefully) approve the changes to the site, at which point they'll go live.

If you have future edits to make, you can restart the process at "Branch to Make your Edits"

icaps2022.github.io's People

Contributors

haz avatar profdrchaos avatar supriyog avatar dgnad avatar aorlandini avatar maurovallati avatar wmp9 avatar ronwalf avatar apozanco avatar patrickferber avatar roveri-marco avatar massle avatar angelo-oddi avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.