Skip to content

Commit

Permalink
Update docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@actions-user
actions-user committed Aug 14, 2023
1 parent 5f9cf20 commit 3bb95d2
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion atom.xml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom"> <title>40Ants</title> <link href="40ants.com"/> <link type="application/atom+xml" rel="self" href="40ants.com/atom.xml"/> <updated>Mon, 07 Aug 2023 10:20:47 +0000</updated> <author> <name>Alexander Artemenko</name> </author> <entry> <link type="text/html" rel="alternate" href="40ants.com/posts/Pushing-your-pulls-faster.html"/> <title>Pushing your pulls faster!</title> <published>2019-04-30 23:00</published> <updated>2019-04-30 23:00</updated> <author> <name>Alexander Artemenko</name> <uri>40ants.com</uri> </author> <content type="html">&lt;div class=&quot;document&quot;&gt;&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
<feed xmlns="http://www.w3.org/2005/Atom"> <title>40Ants</title> <link href="40ants.com"/> <link type="application/atom+xml" rel="self" href="40ants.com/atom.xml"/> <updated>Mon, 14 Aug 2023 10:18:37 +0000</updated> <author> <name>Alexander Artemenko</name> </author> <entry> <link type="text/html" rel="alternate" href="40ants.com/posts/Pushing-your-pulls-faster.html"/> <title>Pushing your pulls faster!</title> <published>2019-04-30 23:00</published> <updated>2019-04-30 23:00</updated> <author> <name>Alexander Artemenko</name> <uri>40ants.com</uri> </author> <content type="html">&lt;div class=&quot;document&quot;&gt;&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
&lt;p&gt;I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.&lt;/p&gt;
&lt;p&gt;Yet, communication around a ticket or a pull often gets less intense and can be lost on GitHub. This situation can arise for a number of reasons. As a rule, some participant misses a GitHub email notification about a comment, and the issue emerges. The end result stays the same despite various reasons — a ticket is lost. At times, it may take years for the ticket to be discovered.&lt;/p&gt;
&lt;p&gt;For that matter, there are special pages on GitHub, of course. E. g. see web pages with pull lists on &lt;a class=&quot;reference&quot; href=&quot;https://github.com/pulls&quot;&gt;&lt;span&gt;https://github.com/pulls&lt;/span&gt;&lt;/a&gt; and web pages with ticket lists on &lt;a class=&quot;reference&quot; href=&quot;https://github.com/issues&quot;&gt;&lt;span&gt;https://github.com/issues&lt;/span&gt;&lt;/a&gt;. Yet, these lists are not user-friendly, as they don’t give you a slightest idea about which ticket requires your reaction and which does not. That’s what I’m going to fix.&lt;/p&gt;
Expand Down
2 changes: 1 addition & 1 deletion rss.xml
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<?xml version="1.0"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>40Ants</title> <link>40ants.com</link> <atom:link href="40ants.com/rss.xml" rel="self" type="application/rss+xml" /> <language>en-us</language> <pubDate>Mon, 07 Aug 2023 10:20:47 +0000</pubDate> <item> <title>Pushing your pulls faster!</title> <link>40ants.com/posts/Pushing-your-pulls-faster.html</link> <pubDate>2019-04-30 23:00</pubDate> <author>Alexander Artemenko</author> <guid isPermaLink="true">40ants.com/posts/Pushing-your-pulls-faster.html</guid> <category><![CDATA[ github ]]></category><category><![CDATA[ startup ]]></category><category><![CDATA[ idea ]]></category> <description><![CDATA[ <div class="document"><p>Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.</p>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>40Ants</title> <link>40ants.com</link> <atom:link href="40ants.com/rss.xml" rel="self" type="application/rss+xml" /> <language>en-us</language> <pubDate>Mon, 14 Aug 2023 10:18:37 +0000</pubDate> <item> <title>Pushing your pulls faster!</title> <link>40ants.com/posts/Pushing-your-pulls-faster.html</link> <pubDate>2019-04-30 23:00</pubDate> <author>Alexander Artemenko</author> <guid isPermaLink="true">40ants.com/posts/Pushing-your-pulls-faster.html</guid> <category><![CDATA[ github ]]></category><category><![CDATA[ startup ]]></category><category><![CDATA[ idea ]]></category> <description><![CDATA[ <div class="document"><p>Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.</p>
<p>I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.</p>
<p>Yet, communication around a ticket or a pull often gets less intense and can be lost on GitHub. This situation can arise for a number of reasons. As a rule, some participant misses a GitHub email notification about a comment, and the issue emerges. The end result stays the same despite various reasons — a ticket is lost. At times, it may take years for the ticket to be discovered.</p>
<p>For that matter, there are special pages on GitHub, of course. E. g. see web pages with pull lists on <a class="reference" href="https://github.com/pulls"><span>https://github.com/pulls</span></a> and web pages with ticket lists on <a class="reference" href="https://github.com/issues"><span>https://github.com/issues</span></a>. Yet, these lists are not user-friendly, as they don’t give you a slightest idea about which ticket requires your reaction and which does not. That’s what I’m going to fix.</p>
Expand Down
2 changes: 1 addition & 1 deletion tag/blog-atom.xml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom"> <title>40Ants</title> <link href="40ants.com"/> <link type="application/atom+xml" rel="self" href="40ants.com/atom.xml"/> <updated>Mon, 07 Aug 2023 10:20:47 +0000</updated> <author> <name>Alexander Artemenko</name> </author> </feed>
<feed xmlns="http://www.w3.org/2005/Atom"> <title>40Ants</title> <link href="40ants.com"/> <link type="application/atom+xml" rel="self" href="40ants.com/atom.xml"/> <updated>Mon, 14 Aug 2023 10:18:37 +0000</updated> <author> <name>Alexander Artemenko</name> </author> </feed>
2 changes: 1 addition & 1 deletion tag/blog-rss.xml
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
<?xml version="1.0"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>40Ants</title> <link>40ants.com</link> <atom:link href="40ants.com/rss.xml" rel="self" type="application/rss+xml" /> <language>en-us</language> <pubDate>Mon, 07 Aug 2023 10:20:47 +0000</pubDate> </channel> </rss>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title>40Ants</title> <link>40ants.com</link> <atom:link href="40ants.com/rss.xml" rel="self" type="application/rss+xml" /> <language>en-us</language> <pubDate>Mon, 14 Aug 2023 10:18:37 +0000</pubDate> </channel> </rss>

0 comments on commit 3bb95d2

Please sign in to comment.